style.css 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  1. * {
  2. font-size: 12px;
  3. }
  4. entry {
  5. border-radius: 3px;
  6. min-height: 22px;
  7. padding-left: 4px;
  8. padding-right: 4px;
  9. }
  10. button {
  11. border-radius: 3px;
  12. min-height: 22px;
  13. padding: 0px 6px;
  14. }
  15. button.image-button {
  16. min-width: 22px;
  17. padding-left: 0px;
  18. padding-right: 0px;
  19. }
  20. button.color {
  21. padding: 0px;
  22. }
  23. notebook > header tab {
  24. min-height: 24px;
  25. min-width: 24px;
  26. padding: 3px 6px;
  27. }
  28. .color {
  29. min-height: 22px;
  30. padding: 0px;
  31. }
  32. .console-view textview, .console-view entry {
  33. font: 12px "Monospace";
  34. }
  35. .statusbar {
  36. font-size: 10px;
  37. min-height: 22px;
  38. }
  39. .axis > entry {
  40. min-width: 22px;
  41. }
  42. .axis.x > entry {
  43. background: rgba(180, 0, 0, 0.2);
  44. }
  45. .axis.y > entry {
  46. background: rgba(0, 180, 0, 0.2);
  47. }
  48. .axis.z > entry {
  49. background: rgba(0, 0, 180, 0.2);
  50. }
  51. .axis.w > entry {
  52. background: rgba(180, 180, 180, 0.2);
  53. }
  54. .counter-label {
  55. color: @theme_fg_color;
  56. font-size: 14px;
  57. font-weight: bold;
  58. margin-left: 10px;
  59. }
  60. #expander2 .header > label {
  61. min-height: 28px
  62. }
  63. .properties-view #expander2.inherited .header > label {
  64. color: rgb(150, 100, 0);
  65. }
  66. button.compact {
  67. padding: 0px 2px 0px 2px;
  68. }
  69. .colorfast-link link {
  70. color: @theme_fg_color;
  71. }
  72. .hsv-v-scale {
  73. padding-top: 0px;
  74. padding-bottom: 0px;
  75. padding-right: 0px;
  76. }
  77. .hsv-v-scale trough {
  78. padding-left: 6px;
  79. padding-right: 6px;
  80. background-image: linear-gradient(to bottom, white, black);
  81. }
  82. .hsv-v-scale highlight {
  83. background-color: transparent;
  84. border: 0px;
  85. }