textual-paint/paint.css

140 lines
2.3 KiB
CSS
Raw Normal View History

2023-04-10 23:51:53 +03:00
Screen {
2023-04-13 05:42:48 +03:00
layers: overlay;
2023-04-10 23:51:53 +03:00
}
2023-04-11 01:06:41 +03:00
#paint {
layout: grid;
grid-size: 1;
grid-columns: 1fr;
grid-rows: 1fr 0;
2023-04-11 06:25:32 +03:00
}
#main-horizontal-split {
2023-04-10 23:51:53 +03:00
layout: grid;
2023-04-11 00:45:54 +03:00
grid-size: 2;
2023-04-11 18:40:47 +03:00
grid-columns: 0 1fr;
grid-rows: 1fr;
margin: 0 0;
2023-04-10 23:51:53 +03:00
}
2023-04-11 18:40:47 +03:00
.show_tools_box #main-horizontal-split {
grid-columns: 15 1fr;
2023-04-11 18:40:47 +03:00
}
.show_colors_box #paint {
grid-rows: 1fr 6;
}
2023-04-11 15:47:47 +03:00
#editing-area {
background: rgb(128, 128, 128);
2023-04-11 15:47:47 +03:00
}
.-dark-mode #editing-area {
background: $surface-lighten-2;
}
2023-04-11 15:47:47 +03:00
2023-04-11 15:46:57 +03:00
#canvas {
width: auto;
height: auto;
2023-04-11 15:47:47 +03:00
margin: 1 2;
2023-04-11 15:46:57 +03:00
}
#tools_box {
layout: grid;
grid-size: 2;
grid-gutter: 0 1;
grid-columns: 6;
grid-rows: 3;
padding: 1 1;
height: 100%;
2023-04-11 06:25:32 +03:00
border-bottom: tall $panel-darken-2;
background: $panel-darken-1;
overflow: hidden;
}
2023-04-14 01:18:27 +03:00
#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 {
2023-04-11 04:04:08 +03:00
background: $panel-lighten-3;
border-bottom: tall $panel-lighten-2;
border-top: tall $panel-darken-2;
}
2023-04-11 06:25:32 +03:00
#colors_box {
2023-04-11 06:56:47 +03:00
layout: grid;
grid-size: 2;
grid-columns: 10 1fr;
border-top: tall $panel-lighten-2;
background: $panel-darken-1;
2023-04-11 06:56:47 +03:00
}
.color_well {
border-top: tall $panel-darken-2;
border-bottom: tall $panel-lighten-3;
}
2023-04-11 06:56:47 +03:00
#selected_colors {
max-height: 5;
overflow: hidden;
}
#selected_color {
2023-04-12 22:25:20 +03:00
width: 8;
2023-04-11 06:56:47 +03:00
height: 4;
margin-left: 1;
}
#available_colors {
2023-04-11 06:25:32 +03:00
layout: grid;
grid-size: 14;
grid-gutter: 0 1;
grid-columns: 4;
2023-04-11 06:25:32 +03:00
grid-rows: 2;
height: auto;
width: auto;
overflow: hidden;
2023-04-11 06:25:32 +03:00
}
2023-04-10 23:51:53 +03:00
Button {
width: 100%;
height: 100%;
}
2023-04-13 03:49:16 +03:00
2023-04-13 05:07:38 +03:00
.menu {
2023-04-13 05:42:48 +03:00
background: $panel;
/* border: round red; */
}
.menu_popup {
2023-04-13 05:07:38 +03:00
layout: vertical;
2023-04-13 05:42:48 +03:00
dock: top;
layer: overlay;
2023-04-13 05:07:38 +03:00
width: auto;
height: auto;
}
2023-04-13 03:49:16 +03:00
/* MenuBar { */
.menu_bar {
layout: horizontal;
2023-04-13 05:07:38 +03:00
width: 100%;
2023-04-13 03:49:16 +03:00
height: auto;
dock: top;
/* border-bottom: hkey $panel-darken-2; */
overflow: hidden;
2023-04-13 03:49:16 +03:00
}
/* 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;
}