editor.css 2.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127
  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].cut-disabled,
  36. img[type=button].highlight-disabled,
  37. img[type=button].remove-highlight-disabled {
  38. background-color: #7b7b7b;
  39. filter: brightness(1.25);
  40. }
  41. img[type=button].edit-disabled:hover,
  42. img[type=button].highlight-disabled:hover,
  43. img[type=button].remove-highlight-disabled:hover {
  44. filter: brightness(0.875);
  45. }
  46. .separator {
  47. display: inline-block;
  48. width: 2px;
  49. height: 22px;
  50. background-color: #404040;
  51. margin-left: 2px;
  52. margin-right: 2px;
  53. margin-top: 6px;
  54. }
  55. .editor {
  56. flex: auto;
  57. border: none;
  58. }
  59. @media (orientation: portrait) {
  60. body {
  61. flex-direction: row;
  62. }
  63. .toolbar {
  64. flex-direction: column;
  65. min-width: 34px;
  66. max-width: 34px;
  67. border-bottom-width: 0px;
  68. border-right-width: 1px;
  69. border-right-style: solid;
  70. }
  71. .buttons {
  72. flex-direction: column;
  73. }
  74. .separator {
  75. margin-top: 2px;
  76. margin-bottom: 2px;
  77. margin-left: 6px;
  78. width: 22px;
  79. height: 2px;
  80. }
  81. img[type="button"] {
  82. margin-right: 0;
  83. margin-bottom: 2px;
  84. }
  85. @media (max-height: 495px) {
  86. .separator {
  87. display: none;
  88. }
  89. }
  90. }
  91. @media (prefers-color-scheme: dark) {
  92. .toolbar {
  93. background-color: #3a3a3a;
  94. border-color: #4a4a4a;
  95. }
  96. img[type=button] {
  97. background-color: #1f1f1f;
  98. }
  99. img[type=button].edit-disabled,
  100. img[type=button].cut-disabled,
  101. img[type=button].highlight-disabled,
  102. img[type=button].remove-highlight-disabled {
  103. background-color: #4a4a4a;
  104. }
  105. .separator {
  106. background-color: #b3b3b3;
  107. }
  108. }