extra/webapps/wiki/wiki.css

   1 .comparison th {
   2     border-width: 1px;
   3     border-color: #666;
   4     border-style: solid;
   5     width: 50%;
   6 }
   7
   8 .comparison table {
   9     border-color: #666;
  10     border-style: solid;
  11     border-width: 1px;
  12     border-spacing: 0;
  13     border-collapse: collapse;
  14 }
  15
  16 .insert {
  17     background-color: #9f9;
  18 }
  19
  20 .delete {
  21     background-color: #f99;
  22 }
  23
  24 .revisions table, .revisions td, .revisions th {
  25     border-color: #666;
  26     border-style: solid;
  27 }
  28
  29 .revisions table {
  30     border-width: 0 0 1px 1px;
  31     border-spacing: 0;
  32     border-collapse: collapse;
  33 }
  34
  35 .revisions td, .revisions th {
  36     margin: 0;
  37     padding: 4px;
  38     border-width: 1px 1px 0 0;
  39 }
  40
  41 .contents {
  42     font-size: 90%;
  43     margin: 0;
  44     padding: 15px;
  45     padding-top: 0px;
  46     line-height: 130%;
  47 }
  48
  49 .contents ul {
  50     list-style-type: none;
  51     margin: 0;
  52     padding-left: 20px;
  53 }
  54
  55 .page nav {
  56     margin: -15px;
  57     margin-top: 0px;
  58     background: none;
  59 }
  60
  61 .page img {
  62     max-width: 100%;
  63 }
  64
  65 .page hr {
  66     height: 1px;
  67 }
  68
  69 .description {
  70     line-height: 150%;
  71 }
  72
  73 .description pre {
  74     padding: 5px;
  75     border: 1px dashed #ccc;
  76     background-color: #f5f5f5;
  77 }
  78
  79 .description h1 { font-size: 1.5em; }
  80 .description h2 { font-size: 1.17em; }
  81 .description h3 { font-size: 1.0em; }
  82 .description h4 { font-size: 0.83em; }
  83 .description h5 { font-size: 0.67em; }
  84
  85 .description p:first-child { margin-top: 0px; }
  86 .description p:last-child { margin-bottom: 0px; }
  87
  88 .description table, .description td {
  89     border-color: #666;
  90     border-style: solid;
  91 }
  92
  93 .description table {
  94     border-width: 0 0 1px 1px;
  95     border-spacing: 0;
  96     border-collapse: collapse;
  97 }
  98
  99 .description td {
 100     margin: 0;
 101     padding: 4px;
 102     border-width: 1px 1px 0 0;
 103 }
 104
 105 footer {
 106     padding-left: 15px;
 107     font-size: smaller;
 108 }
 109
 110 #left {
 111     position: absolute;
 112     top: 0;
 113     left: calc(min(100vw - 200px, 800px));
 114     width: 200px;
 115     z-index: 99;
 116     border: none;
 117     border-left: 1px dashed #ccc;
 118 }
 119
 120 #right {
 121     width: calc(100vw - 200px);
 122     max-width: calc(min(100vw - 230px, 770px));
 123 }
 124
 125 nav img {
 126     vertical-align: middle;
 127     display: none;
 128 }
 129
 130 .page nav {
 131     width: calc(100vw - 200px);
 132     max-width: 800px;
 133     left: 0;
 134     border-top: 1px dashed #ccc;
 135     border-bottom: 1px dashed #ccc;
 136 }
 137
 138 .page footer {
 139     padding-left: 0;
 140     padding-right: 0;
 141 }
 142
 143 @media screen and (max-width: 600px) {
 144     #left {
 145         position: absolute;
 146         display: none;
 147         left: 0;
 148         top: 0;
 149         background: #f5f5f5;
 150         border: none;
 151         border-right: 1px solid #ccc;
 152         border-bottom: 1px solid #ccc;
 153         padding-top: 0px;
 154         box-shadow: 5px 5px 10px #aaa;
 155     }
 156
 157     #right {
 158         width: 100%;
 159         max-width: 100%;
 160     }
 161
 162     nav img {
 163         display: inline;
 164     }
 165
 166     .page {
 167         width: 100%;
 168     }
 169
 170     .page nav {
 171         width: 100vw;
 172     }
 173 }
 174
 175 /* Dark mode */
 176 @media (prefers-color-scheme: dark) {
 177     nav img {
 178         filter: invert(80%);
 179     }
 180
 181     #left {
 182         border: none;
 183         border-left: 1px dashed #666;
 184     }
 185
 186     .description pre {
 187         color: black;
 188     }
 189
 190     .page nav {
 191         border-top: 1px dashed #666;
 192         border-bottom: 1px dashed #666;
 193     }
 194 }
 195
 196 @media screen and (max-width: 600px) and (prefers-color-scheme: dark) {
 197
 198     #left {
 199         background-color: #373e48;
 200         border: none;
 201         border-right: 1px solid #666;
 202         border-bottom: 1px solid #666;
 203         box-shadow: 5px 5px 10px #333;
 204     }
 205 }