editor.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125
  1. html,
  2. body {
  3. height: 100%;
  4. overflow: hidden;
  5. }
  6. body {
  7. margin: 0;
  8. display: flex;
  9. flex-direction: column;
  10. user-select: none;
  11. }
  12. .toolbar {
  13. display: flex;
  14. background-color: #efefef;
  15. border-bottom-width: 1px;
  16. border-bottom-style: solid;
  17. border-color: #cccccc;
  18. }
  19. .buttons {
  20. display: flex;
  21. flex-direction: row;
  22. margin: 1px;
  23. }
  24. img[type=button] {
  25. cursor: pointer;
  26. background-color: #404040;
  27. padding: 4px;
  28. margin-right: 2px;
  29. border-radius: 4px;
  30. }
  31. img[type=button]:hover {
  32. filter: brightness(0.75);
  33. }
  34. img[type=button].edit-disabled,
  35. img[type=button].highlight-disabled,
  36. img[type=button].remove-highlight-disabled {
  37. background-color: #7b7b7b;
  38. filter: brightness(1.25);
  39. }
  40. img[type=button].edit-disabled:hover,
  41. img[type=button].highlight-disabled:hover,
  42. img[type=button].remove-highlight-disabled:hover {
  43. filter: brightness(0.875);
  44. }
  45. .separator {
  46. display: inline-block;
  47. width: 2px;
  48. height: 22px;
  49. background-color: #404040;
  50. margin-left: 2px;
  51. margin-right: 2px;
  52. margin-top: 6px;
  53. }
  54. .editor {
  55. flex: auto;
  56. border: none;
  57. }
  58. @media (orientation: portrait) {
  59. body {
  60. flex-direction: row;
  61. }
  62. .toolbar {
  63. flex-direction: column;
  64. min-width: 34px;
  65. max-width: 34px;
  66. border-bottom-width: 0px;
  67. border-right-width: 1px;
  68. border-right-style: solid;
  69. }
  70. .buttons {
  71. flex-direction: column;
  72. }
  73. .separator {
  74. margin-top: 2px;
  75. margin-bottom: 2px;
  76. margin-left: 6px;
  77. width: 22px;
  78. height: 2px;
  79. }
  80. img[type="button"] {
  81. margin-right: 0;
  82. margin-bottom: 2px;
  83. }
  84. @media (max-height: 495px) {
  85. .separator {
  86. display: none;
  87. }
  88. }
  89. }
  90. @media (prefers-color-scheme: dark) {
  91. .toolbar {
  92. background-color: #3a3a3a;
  93. border-color: #4a4a4a;
  94. }
  95. img[type=button] {
  96. background-color: #1f1f1f;
  97. }
  98. img[type=button].edit-disabled,
  99. img[type=button].highlight-disabled,
  100. img[type=button].remove-highlight-disabled {
  101. background-color: #4a4a4a;
  102. }
  103. .separator {
  104. background-color: #b3b3b3;
  105. }
  106. }