Screen { layers: overlay; } #paint { layout: grid; grid-size: 1; grid-columns: 1fr; grid-rows: 1fr 0; } #main-horizontal-split { layout: grid; grid-size: 2; grid-columns: 0 1fr; grid-rows: 1fr; margin: 0 0; } .show_tools_box #main-horizontal-split { grid-columns: 18 1fr; } .show_colors_box #paint { grid-rows: 1fr 6; } #editing-area { background: rgb(128, 128, 128); } .-dark-mode #editing-area { background: $surface-lighten-2; } #canvas { width: auto; height: auto; margin: 1 2; } #tools_box { layout: grid; grid-size: 2; grid-gutter: 0 1; grid-columns: 6; grid-rows: 3; padding: 1 1; height: 100%; border-bottom: tall $panel-darken-2; background: $panel-darken-1; } #tools_box Button { text-style: none !important; } #tools_box Button:focus { /* disable focus highlight */ /* in the future it may be important to prevent focus instead */ text-style: none; } #tools_box Button.selected { background: $panel-lighten-3; border-bottom: tall $panel-lighten-2; border-top: tall $panel-darken-2; } #colors_box { layout: grid; grid-size: 2; grid-columns: 10 1fr; border-top: tall $panel-lighten-2; background: $panel-darken-1; } .color_well { border-top: tall $panel-darken-2; border-bottom: tall $panel-lighten-3; } #selected_colors { max-height: 5; overflow: hidden; } #selected_color { width: 8; height: 4; margin-left: 1; } #available_colors { layout: grid; grid-size: 14; grid-gutter: 0 1; grid-columns: 4; grid-rows: 2; height: auto; width: auto; } Button { width: 100%; height: 100%; } .menu { background: $panel; /* border: round red; */ } .menu_popup { layout: vertical; dock: top; layer: overlay; width: auto; height: auto; } /* MenuBar { */ .menu_bar { layout: horizontal; width: 100%; height: auto; dock: top; /* border-bottom: hkey $panel-darken-2; */ } /* MenuItem { */ .menu_item { width: auto; height: auto; } .menu Button { border: none; height: 3; /* This seems to be the only way to get the button to shrink? */ max-width: 8; }