style.css 2.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199
  1. * {
  2. margin: 0;
  3. padding: 0;
  4. box-sizing: border-box;
  5. }
  6. html {
  7. font: 14px menu;
  8. }
  9. body {
  10. font-size: 1rem;
  11. }
  12. body,
  13. // Form elements will not inherit
  14. button,
  15. select,
  16. input,
  17. textarea {
  18. font-family: "PingFang SC", STHeiti, "Microsoft YaHei", sans-serif;
  19. }
  20. h1 {
  21. font-size: 1.5rem;
  22. }
  23. h1, h2 {
  24. margin-top: .5em;
  25. margin-bottom: .5em;
  26. }
  27. a {
  28. color: dodgerblue;
  29. }
  30. hr {
  31. border: none;
  32. border-top: 1px solid darkgray;
  33. }
  34. input[disabled] ~ * {
  35. color: gray;
  36. }
  37. input[type=text] {
  38. display: block;
  39. width: 100%;
  40. }
  41. textarea {
  42. display: block;
  43. width: 100%;
  44. }
  45. code {
  46. background: #F7E999;
  47. }
  48. :focus {
  49. outline: none;
  50. }
  51. .icon {
  52. width: 1rem;
  53. height: 1rem;
  54. }
  55. // Firefox does not support `svg path` selector
  56. svg {
  57. fill: currentColor;
  58. }
  59. .btn-ghost,
  60. .sep,
  61. button {
  62. display: inline-block;
  63. padding: 0 .5rem;
  64. font-size: 1rem;
  65. line-height: 1.5;
  66. cursor: pointer;
  67. vertical-align: bottom;
  68. }
  69. .btn-ghost {
  70. color: inherit;
  71. border: 1px solid transparent;
  72. &:hover {
  73. border-color: #bbb;
  74. background: white;
  75. }
  76. > .icon {
  77. display: block;
  78. height: 2rem;
  79. }
  80. }
  81. .sep {
  82. &::after {
  83. content: '';
  84. border-right: 1px solid #bbb;
  85. }
  86. }
  87. .pull-right {
  88. float: right;
  89. }
  90. .inline-block {
  91. display: inline-block;
  92. }
  93. .flex {
  94. display: flex;
  95. }
  96. .flex-col {
  97. flex-direction: column;
  98. }
  99. .flex-auto {
  100. flex: auto;
  101. .flex-col > & {
  102. height: 0;
  103. }
  104. }
  105. .pos-rel {
  106. position: relative;
  107. }
  108. .mr-1 {
  109. margin-right: .5em;
  110. }
  111. .mt-1 {
  112. margin-top: .5em;
  113. }
  114. .mb-1 {
  115. margin-bottom: .5em;
  116. }
  117. .mb-2 {
  118. margin-bottom: 1em;
  119. }
  120. .px-2 {
  121. margin-left: 1em;
  122. margin-right: 1em;
  123. }
  124. .h-100 {
  125. height: 100%;
  126. }
  127. .w-1 {
  128. width: 4em;
  129. }
  130. .fixed-full {
  131. position: fixed;
  132. }
  133. .abs-full {
  134. position: absolute;
  135. }
  136. .fixed-full,
  137. .abs-full {
  138. top: 0;
  139. left: 0;
  140. right: 0;
  141. bottom: 0;
  142. }
  143. .ellipsis {
  144. white-space: nowrap;
  145. text-overflow: ellipsis;
  146. overflow: hidden;
  147. }
  148. .frame {
  149. background: #f0f0f0;
  150. &-block {
  151. padding: .5rem;
  152. }
  153. }
  154. .editor-code,
  155. .editor-code .CodeMirror {
  156. height: 100%;
  157. /* Use `Courier New` to ensure ` ` has the same width as an original space. */
  158. font-family: Courier New, Courier, monospace;
  159. }
  160. .CodeMirror-foldmarker {
  161. color: blue;
  162. text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
  163. font-family: arial;
  164. line-height: .3;
  165. cursor: pointer;
  166. }
  167. .CodeMirror-foldgutter {
  168. width: .7em;
  169. }
  170. .CodeMirror-foldgutter-open,
  171. .CodeMirror-foldgutter-folded {
  172. color: #555;
  173. cursor: pointer;
  174. }
  175. .CodeMirror-foldgutter-open:after {
  176. content: "\25BE";
  177. }
  178. .CodeMirror-foldgutter-folded:after {
  179. content: "\25B8";
  180. }
  181. .vl-dropdown-menu {
  182. padding: .5rem;
  183. border: 1px solid #bbb;
  184. background: white;
  185. }