style.css 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687
  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. font-weight: bold;
  42. border-radius: 4px 0px 0px 4px;
  43. }
  44. .axis.x {
  45. background: rgba(120, 0, 0, 0.8);
  46. }
  47. .axis.y {
  48. background: rgba(0, 120, 0, 0.8);
  49. }
  50. .axis.z {
  51. background: rgba(0, 0, 120, 0.8);
  52. }
  53. .axis.w {
  54. background: rgba(120, 120, 120, 0.8);
  55. }
  56. .counter-label {
  57. color: @theme_fg_color;
  58. font-size: 14px;
  59. font-weight: bold;
  60. margin-left: 10px;
  61. }
  62. .properties-view expander.inherited title label {
  63. color: rgb(150, 100, 0);
  64. }
  65. button.compact {
  66. padding: 0px 2px 0px 2px;
  67. }
  68. .colorfast-link link {
  69. color: @theme_fg_color;
  70. }