2023-04-10 23:51:53 +03:00
|
|
|
Screen {
|
|
|
|
overflow: auto;
|
|
|
|
}
|
|
|
|
|
2023-04-11 01:06:41 +03:00
|
|
|
#paint {
|
2023-04-10 23:51:53 +03:00
|
|
|
layout: grid;
|
2023-04-11 00:45:54 +03:00
|
|
|
grid-size: 2;
|
2023-04-10 23:51:53 +03:00
|
|
|
grid-gutter: 1 2;
|
2023-04-11 01:13:46 +03:00
|
|
|
grid-columns: 20 1fr;
|
|
|
|
grid-rows: 1fr;
|
|
|
|
margin: 0 0;
|
2023-04-10 23:51:53 +03:00
|
|
|
min-height: 25;
|
|
|
|
min-width: 26;
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2023-04-11 01:13:46 +03:00
|
|
|
#tools_box {
|
|
|
|
layout: grid;
|
|
|
|
grid-size: 2;
|
|
|
|
grid-gutter: 0 1;
|
|
|
|
grid-columns: 6;
|
|
|
|
grid-rows: 3;
|
|
|
|
padding: 1 1;
|
|
|
|
/* min-height: 25; */
|
|
|
|
/* min-width: 26; */
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2023-04-11 03:59:59 +03:00
|
|
|
#tools_box Button:focus {
|
|
|
|
/* disable focus highlight */
|
|
|
|
/* in the future it may be important to prevent focus instead */
|
|
|
|
text-style: none;
|
|
|
|
}
|
|
|
|
|
2023-04-11 03:52:01 +03:00
|
|
|
#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 03:52:01 +03:00
|
|
|
}
|
|
|
|
|
2023-04-10 23:51:53 +03:00
|
|
|
Button {
|
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
|
|
|
}
|