| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687 |
- * {
- font-size: 12px;
- }
- entry {
- border-radius: 3px;
- min-height: 22px;
- padding-left: 4px;
- padding-right: 4px;
- }
- button {
- border-radius: 3px;
- min-height: 22px;
- padding: 0px 6px;
- }
- button.image-button {
- min-width: 22px;
- padding-left: 0px;
- padding-right: 0px;
- }
- button.color {
- padding: 0px;
- }
- notebook > header tab {
- min-height: 24px;
- min-width: 24px;
- padding: 3px 6px;
- }
- .color {
- min-height: 22px;
- padding: 0px;
- }
- .console-view textview, .console-view entry {
- font: 12px "Monospace";
- }
- .statusbar {
- font-size: 10px;
- min-height: 22px;
- }
- .axis {
- min-width: 22px;
- font-weight: bold;
- border-radius: 4px 0px 0px 4px;
- }
- .axis.x {
- background: rgba(120, 0, 0, 0.8);
- }
- .axis.y {
- background: rgba(0, 120, 0, 0.8);
- }
- .axis.z {
- background: rgba(0, 0, 120, 0.8);
- }
- .axis.w {
- background: rgba(120, 120, 120, 0.8);
- }
- .counter-label {
- color: @theme_fg_color;
- font-size: 14px;
- font-weight: bold;
- margin-left: 10px;
- }
- .properties-view expander.inherited title label {
- color: rgb(150, 100, 0);
- }
- button.compact {
- padding: 0px 2px 0px 2px;
- }
- .colorfast-link link {
- color: @theme_fg_color;
- }
|