2022-11-14 20:41:43 +00:00
|
|
|
* {
|
2023-05-09 03:02:33 +00:00
|
|
|
font-size: 25px;
|
2023-02-08 13:29:36 +00:00
|
|
|
/*@Base; */
|
|
|
|
/* border-bottom-color: @Base; */
|
2022-11-14 20:41:43 +00:00
|
|
|
}
|
|
|
|
|
2023-05-09 02:48:22 +00:00
|
|
|
/* Make titlebar pretty gigantic. I'm pretty myopic. */
|
|
|
|
.titlebar {
|
|
|
|
padding: 10px;
|
|
|
|
font-size: 30px;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
.titlebar * {
|
|
|
|
padding: 10px;
|
|
|
|
font-size: 27px;
|
2022-11-14 20:41:43 +00:00
|
|
|
}
|
|
|
|
|
2023-05-09 03:02:33 +00:00
|
|
|
header * {
|
|
|
|
font-size: 20px;
|
|
|
|
padding: 5px;
|
|
|
|
}
|
|
|
|
|
2022-11-14 20:41:43 +00:00
|
|
|
tabs {
|
|
|
|
padding: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
tab {
|
2023-02-08 13:29:36 +00:00
|
|
|
margin: 2px 5px 2px 0px;
|
|
|
|
padding: 5px;
|
|
|
|
border-style: solid;
|
2023-05-09 03:02:33 +00:00
|
|
|
font-size: 27px;
|
2022-11-14 20:41:43 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
entry {
|
|
|
|
padding-left: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
entry:focus {
|
2023-02-08 13:29:36 +00:00
|
|
|
padding-left: 10px;
|
|
|
|
|
2022-11-14 20:41:43 +00:00
|
|
|
}
|