style.css 1.3 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192
  1. body {
  2. margin: 0;
  3. font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;
  4. }
  5. #header {
  6. position: absolute;
  7. top: 0;
  8. left: 0;
  9. right: 0;
  10. height: 60px;
  11. box-sizing: border-box;
  12. background-color: #1e1e1e;
  13. border-bottom: 1px solid #333;
  14. padding: 0.3em 1.6em;
  15. color: #fff;
  16. z-index: 1;
  17. }
  18. h1 {
  19. font-size: 18px;
  20. display: inline-block;
  21. margin-right: 15px;
  22. }
  23. #options-wrapper {
  24. position: absolute;
  25. top: 20px;
  26. right: 10px;
  27. }
  28. #options-wrapper:hover #options {
  29. display: block;
  30. }
  31. #options-label {
  32. cursor: pointer;
  33. text-align: right;
  34. padding-right: 10px;
  35. font-weight: bold;
  36. }
  37. #options {
  38. display: none;
  39. margin-top: 15px;
  40. list-style-type: none;
  41. background-color: #1e1e1e;
  42. border: 1px solid #333;
  43. padding: 15px 30px;
  44. }
  45. #options li {
  46. margin: 8px 0;
  47. }
  48. #header a {
  49. font-weight: 600;
  50. color: rgb(101, 163, 221);
  51. }
  52. #header .label {
  53. font-weight: bold;
  54. }
  55. #header input {
  56. margin-right: 6px;
  57. }
  58. #header label {
  59. color: #999;
  60. }
  61. .editor {
  62. position: absolute;
  63. top: 60px;
  64. bottom: 0;
  65. box-sizing: border-box;
  66. }
  67. #source {
  68. left: 0;
  69. width: 45%;
  70. }
  71. #output {
  72. left: 45%;
  73. width: 55%;
  74. }
  75. .highlight {
  76. background-color: rgba(46, 120, 190, 0.5);
  77. }