Merge pull request #2017 from benjiwheeler/stage_header_padding

project page stage margin, width adjustments to match gui css changes
This commit is contained in:
Benjamin Wheeler 2018-08-15 00:20:44 -04:00 committed by GitHub
commit b52fb3951e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,14 +1,10 @@
@import "../../colors"; @import "../../colors";
@import "../../frameless"; @import "../../frameless";
/* stage size constants /* stage size constants */
* this is a hack right now - stage includes padding of .5rem (8px) for alignment in gui $player-width: 482px;
* in www the player is placed with margin -.5rem to align the edge. $player-height: 406px;
* the height is calculated from the actual height on the page (404)
*/
$gui-width: 496px;
$stage-width: 480px; $stage-width: 480px;
$stage-height: 404px;
/* override view padding for share banner */ /* override view padding for share banner */
#view { #view {
@ -174,14 +170,13 @@ $stage-height: 404px;
.guiPlayer { .guiPlayer {
display: inline-block; display: inline-block;
margin-left: -.5rem; width: $player-width;
width: $gui-width;
} }
.project-notes { .project-notes {
// not 1.5rem because of stage padding // not 1.5rem because of stage padding
margin-left: 1rem; margin-left: 1rem;
height: $stage-height; height: $player-height;
align-items: flex-start; align-items: flex-start;
flex: 1; flex: 1;
flex-flow: column; flex-flow: column;