style.css 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  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 {
  40. min-width: 22px;
  41. }
  42. .axis.x {
  43. background: rgba(180, 0, 0, 0.2);
  44. }
  45. .axis.y {
  46. background: rgba(0, 180, 0, 0.2);
  47. }
  48. .axis.z {
  49. background: rgba(0, 0, 180, 0.2);
  50. }
  51. .axis.w {
  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. }