doc/style.css

   1 html {
   2     line-height: 1.15;
   3     -webkit-text-size-adjust: 100%;
   4 }
   5
   6 body {
   7     margin: 0;
   8 }
   9
  10 .book {
  11     margin: auto;
  12     width: 100%;
  13 }
  14
  15 @media screen and (min-width: 768px) {
  16     .book {
  17         max-width: 46rem;
  18     }
  19 }
  20
  21 @media screen and (min-width: 992px) {
  22     .book {
  23         max-width: 60rem;
  24     }
  25 }
  26
  27 @media screen and (min-width: 1200px) {
  28     .book {
  29         max-width: 73rem;
  30     }
  31 }
  32
  33 .book .list-of-examples {
  34     display: none;
  35 }
  36
  37 h1 {
  38     font-size: 2em;
  39     margin: 0.67em 0;
  40 }
  41
  42 hr {
  43     box-sizing: content-box;
  44     height: 0;
  45     overflow: visible;
  46 }
  47
  48 pre {
  49     font-family: monospace, monospace;
  50     font-size: 1em;
  51 }
  52
  53 a {
  54     background-color: transparent;
  55 }
  56
  57 strong {
  58     font-weight: bolder;
  59 }
  60
  61 code {
  62     font-family: monospace, monospace;
  63     font-size: 1em;
  64 }
  65
  66 sup {
  67     font-size: 75%;
  68     line-height: 0;
  69     position: relative;
  70     vertical-align: baseline;
  71 }
  72
  73 sup {
  74     top: -0.5em;
  75 }
  76
  77 ::-webkit-file-upload-button {
  78     -webkit-appearance: button;
  79     font: inherit;
  80 }
  81
  82 pre {
  83     overflow: auto;
  84 }
  85
  86 *,
  87 *::before,
  88 *::after {
  89     box-sizing: border-box;
  90 }
  91
  92 html {
  93     font-size: 100%;
  94     line-height: 1.77777778;
  95 }
  96
  97 @media screen and (min-width: 4000px) {
  98     html {
  99         background: #000;
 100     }
 101
 102     html body {
 103         margin: auto;
 104         max-width: 250rem;
 105     }
 106 }
 107
 108 @media screen and (max-width: 320px) {
 109     html {
 110         font-size: calc(16 / 320 * 100vw);
 111     }
 112 }
 113
 114 body {
 115     font-size: 1rem;
 116     font-family: 'Roboto', sans-serif;
 117     font-weight: 300;
 118     color: #000000;
 119     background-color: #ffffff;
 120     min-height: 100vh;
 121     display: flex;
 122     flex-direction: column;
 123 }
 124
 125 @media screen and (max-width: 767.9px) {
 126     body {
 127         padding-left: 1rem;
 128         padding-right: 1rem;
 129     }
 130 }
 131
 132 a {
 133     text-decoration: none;
 134     border-bottom: 1px solid;
 135     color: #405d99;
 136 }
 137
 138 ul {
 139     padding: 0;
 140     margin-top: 0;
 141     margin-right: 0;
 142     margin-bottom: 1rem;
 143     margin-left: 1rem;
 144 }
 145
 146 table {
 147     border-collapse: collapse;
 148     width: 100%;
 149     margin-bottom: 1rem;
 150 }
 151
 152 thead th {
 153     text-align: left;
 154 }
 155
 156 hr {
 157     margin-top: 1rem;
 158     margin-bottom: 1rem;
 159 }
 160
 161 h1 {
 162     font-weight: 800;
 163     line-height: 110%;
 164     font-size: 200%;
 165     margin-bottom: 1rem;
 166     color: #6586c8;
 167 }
 168
 169 h2 {
 170     font-weight: 800;
 171     line-height: 110%;
 172     font-size: 170%;
 173     margin-bottom: 0.625rem;
 174     color: #6586c8;
 175 }
 176
 177 h2:not(:first-child) {
 178     margin-top: 1rem;
 179 }
 180
 181 h3 {
 182     font-weight: 800;
 183     line-height: 110%;
 184     margin-bottom: 1rem;
 185     font-size: 150%;
 186     color: #6586c8;
 187 }
 188
 189 .note h3,
 190 .tip h3,
 191 .warning h3,
 192 .caution h3,
 193 .important h3 {
 194     font-size: 120%;
 195 }
 196
 197 h4 {
 198     font-weight: 800;
 199     line-height: 110%;
 200     margin-bottom: 1rem;
 201     font-size: 140%;
 202     color: #6586c8;
 203 }
 204
 205 h5 {
 206     font-weight: 800;
 207     line-height: 110%;
 208     margin-bottom: 1rem;
 209     font-size: 130%;
 210     color: #6a6a6a;
 211 }
 212
 213 h6 {
 214     font-weight: 800;
 215     line-height: 110%;
 216     margin-bottom: 1rem;
 217     font-size: 120%
 218 }
 219
 220 strong {
 221     font-weight: bold;
 222 }
 223
 224 p {
 225     margin-top: 0;
 226     margin-bottom: 1rem;
 227 }
 228
 229 dt>*:first-child,
 230 dd>*:first-child {
 231     margin-top: 0;
 232 }
 233
 234 dt>*:last-child,
 235 dd>*:last-child {
 236     margin-bottom: 0;
 237 }
 238
 239 pre,
 240 code {
 241     font-family: monospace;
 242 }
 243
 244 code {
 245     color: #ff8657;
 246     background: #f4f4f4;
 247     display: inline-block;
 248     padding: 0 0.5rem;
 249     border: 1px solid #d8d8d8;
 250     border-radius: 0.5rem;
 251     line-height: 1.57777778;
 252 }
 253
 254 div.book .programlisting,
 255 div.appendix .programlisting {
 256     border-radius: 0.5rem;
 257     padding: 1rem;
 258     overflow: auto;
 259     background: #f2f8fd;
 260     color: #000000;
 261 }
 262
 263 div.book .note,
 264 div.book .tip,
 265 div.book .warning,
 266 div.book .caution,
 267 div.book .important,
 268 div.appendix .note,
 269 div.appendix .tip,
 270 div.appendix .warning,
 271 div.appendix .caution,
 272 div.appendix .important {
 273     margin-bottom: 1rem;
 274     border-radius: 0.5rem;
 275     padding: 1.5rem;
 276     overflow: auto;
 277     background: #f4f4f4;
 278 }
 279
 280 div.book .note>.title,
 281 div.book .tip>.title,
 282 div.book .warning>.title,
 283 div.book .caution>.title,
 284 div.book .important>.title,
 285 div.appendix .note>.title,
 286 div.appendix .tip>.title,
 287 div.appendix .warning>.title,
 288 div.appendix .caution>.title,
 289 div.appendix .important>.title {
 290     font-weight: 800;
 291     /* font-family: 'Overpass', serif; */
 292     line-height: 110%;
 293     margin-bottom: 1rem;
 294     color: inherit;
 295     margin-bottom: 0;
 296 }
 297
 298 div.book .note> :first-child,
 299 div.book .tip> :first-child,
 300 div.book .warning> :first-child,
 301 div.book .caution> :first-child,
 302 div.book .important> :first-child,
 303 div.appendix .note> :first-child,
 304 div.appendix .tip> :first-child,
 305 div.appendix .warning> :first-child,
 306 div.appendix .caution> :first-child,
 307 div.appendix .important> :first-child {
 308     margin-top: 0;
 309 }
 310
 311 div.book .note> :last-child,
 312 div.book .tip> :last-child,
 313 div.book .warning> :last-child,
 314 div.book .caution> :last-child,
 315 div.book .important> :last-child,
 316 div.appendix .note> :last-child,
 317 div.appendix .tip> :last-child,
 318 div.appendix .warning> :last-child,
 319 div.appendix .caution> :last-child,
 320 div.appendix .important> :last-child {
 321     margin-bottom: 0;
 322 }
 323
 324 div.book .note,
 325 div.book .tip,
 326 div.appendix .note,
 327 div.appendix .tip {
 328     color: #5277c3;
 329     background: #f2f8fd;
 330 }
 331
 332 div.book .warning,
 333 div.book .caution,
 334 div.appendix .warning,
 335 div.appendix .caution {
 336     color: #cc3900;
 337     background-color: #fff5e1;
 338 }
 339
 340 div.book .section,
 341 div.appendix .section {
 342     margin-top: 2em;
 343 }
 344
 345 div.book div.example,
 346 div.appendix div.example {
 347     margin-top: 1.5em;
 348 }
 349
 350 div.book br.example-break,
 351 div.appendix br.example-break {
 352     display: none;
 353 }
 354
 355 div.book div.footnotes>hr,
 356 div.appendix div.footnotes>hr {
 357     border-color: #d8d8d8;
 358 }
 359
 360 div.book div.footnotes>br,
 361 div.appendix div.footnotes>br {
 362     display: none;
 363 }
 364
 365 div.book dt,
 366 div.appendix dt {
 367     margin-top: 1em;
 368 }
 369
 370 div.book .toc dt,
 371 div.appendix .toc dt {
 372     margin-top: 0;
 373 }
 374
 375 div.book .list-of-examples dt,
 376 div.appendix .list-of-examples dt {
 377     margin-top: 0;
 378 }
 379
 380 div.book code,
 381 div.appendix code {
 382     padding: 0;
 383     border: 0;
 384     background-color: inherit;
 385     color: inherit;
 386     font-size: 100%;
 387     -webkit-hyphens: none;
 388     -moz-hyphens: none;
 389     hyphens: none;
 390 }
 391
 392 div.book div.toc,
 393 div.appendix div.toc {
 394     margin-bottom: 3em;
 395     border-bottom: 0.0625rem solid #d8d8d8;
 396 }
 397
 398 div.book div.toc dd,
 399 div.appendix div.toc dd {
 400     margin-left: 2em;
 401 }
 402
 403 div.book span.command,
 404 div.appendix span.command {
 405     font-family: monospace;
 406     -webkit-hyphens: none;
 407     -moz-hyphens: none;
 408     hyphens: none;
 409 }
 410
 411 div.book .informaltable th,
 412 div.book .informaltable td,
 413 div.appendix .informaltable th,
 414 div.appendix .informaltable td {
 415     padding: 0.5rem;
 416 }