main.css 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  1. body {
  2. font-family: DejaVu Sans Mono, monospace;
  3. margin:20px auto;
  4. max-width:800px;
  5. line-height:1.5em;
  6. font-size:1.1em;
  7. background-color:#282c34;
  8. color:#bbc2cf;
  9. padding:0 10px;
  10. hyphens:auto;
  11. }
  12. header {
  13. display:flex;
  14. justify-content:space-between;
  15. align-items:center;
  16. white-space:nowrap;
  17. flex-wrap: wrap;
  18. }
  19. nav {
  20. display: flex;
  21. flex-direction: row;
  22. flex-wrap: wrap;
  23. justify-content: flex-end;
  24. gap: 1rem;
  25. }
  26. nav li { display:inline-block no; margin-right:20px; }
  27. .navlogo { width:50px; height:50px; }
  28. a { color:#ff6c6b; text-decoration:none; }
  29. a:hover { color:#ff6c6b; text-decoration:underline; }
  30. h1, h2, h3 {
  31. display:inline; /* Sidenote: who decided on inline? */
  32. line-height:1.2;
  33. color:#51afef;
  34. font-size:1.3em;
  35. }
  36. h2 { font-size:1.2em; }
  37. h3 { font-size:1.1em; }
  38. .h:hover a[aria-hidden] {
  39. display:inline;
  40. color:#ff6c6b;
  41. size:75%;
  42. }
  43. .h a[aria-hidden] { display:none; }
  44. pre {
  45. tab-size:4;
  46. background: #20232a;
  47. color: #969ba6;
  48. border: 1px solid lightgrey;
  49. padding: 5px;
  50. tab-size:4;
  51. }
  52. .red { color:#ff6c6b; }
  53. .green { color:#98be65; }
  54. input[type=submit] {
  55. padding:5px 15px;
  56. background:#51afef;
  57. border:0 none;
  58. -webkit-border-radius:10px;
  59. color: #282c34;
  60. border-radius:10px;
  61. }
  62. input[type=checkbox] { color: #282c34; background-color: #bbc2cf; }
  63. ul[userlist] { list-style:none; }
  64. ul[userlist] li[online]::before {
  65. content:"\2022";
  66. color:#ff6c6b;
  67. font-weight:bold;
  68. display:inline-block;
  69. width:1.0em;
  70. margin-left:-1.0em;
  71. }
  72. ul[userlist] li[online$=true]::before { color:#98be65; }
  73. textarea { background-color: #282c34; color: #bbc2cf; }
  74. input { background-color: #282c34; color: #bbc2cf; }
  75. #TOC {
  76. border: 1px solid;
  77. position: relative;
  78. }
  79. #TOC:before {
  80. border-bottom: 1px solid;
  81. content: 'Table of Contents';
  82. display: block;
  83. font-weight: bold;
  84. padding: 5px;
  85. position: relative;
  86. }
  87. .date {
  88. //color: grey;
  89. display: block;
  90. font-family: monospace;
  91. margin-top: 1em;
  92. overflow: hidden;
  93. white-space: nowrap;
  94. width: 16ch;
  95. }
  96. .pagination {
  97. margin-right: 1ch;
  98. text-align: center;
  99. }
  100. .pagination ul > li {
  101. list-style: none;
  102. display: inline-block;
  103. padding-left: 1ch;
  104. }