textual-paint/paint.css

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: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;
}