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 div.example details,
 351 div.appendix div.example details {
 352     padding: 5px;
 353 }
 354
 355 div.book div.example details[open],
 356 div.appendix div.example details[open] {
 357     border: 1px solid #aaa;
 358     border-radius: 4px;
 359 }
 360
 361 div.book div.example details>summary,
 362 div.appendix div.example details>summary {
 363     cursor: pointer;
 364 }
 365
 366 div.book br.example-break,
 367 div.appendix br.example-break {
 368     display: none;
 369 }
 370
 371 div.book div.footnotes>hr,
 372 div.appendix div.footnotes>hr {
 373     border-color: #d8d8d8;
 374 }
 375
 376 div.book div.footnotes>br,
 377 div.appendix div.footnotes>br {
 378     display: none;
 379 }
 380
 381 div.book dt,
 382 div.appendix dt {
 383     margin-top: 1em;
 384 }
 385
 386 div.book .toc dt,
 387 div.appendix .toc dt {
 388     margin-top: 0;
 389 }
 390
 391 div.book .list-of-examples dt,
 392 div.appendix .list-of-examples dt {
 393     margin-top: 0;
 394 }
 395
 396 div.book code,
 397 div.appendix code {
 398     padding: 0;
 399     border: 0;
 400     background-color: inherit;
 401     color: inherit;
 402     font-size: 100%;
 403     -webkit-hyphens: none;
 404     -moz-hyphens: none;
 405     hyphens: none;
 406 }
 407
 408 div.book div.toc,
 409 div.appendix div.toc {
 410     margin-bottom: 3em;
 411     border-bottom: 0.0625rem solid #d8d8d8;
 412 }
 413
 414 div.book div.toc dd,
 415 div.appendix div.toc dd {
 416     margin-left: 2em;
 417 }
 418
 419 div.book span.command,
 420 div.appendix span.command {
 421     font-family: monospace;
 422     -webkit-hyphens: none;
 423     -moz-hyphens: none;
 424     hyphens: none;
 425 }
 426
 427 div.book .informaltable th,
 428 div.book .informaltable td,
 429 div.appendix .informaltable th,
 430 div.appendix .informaltable td {
 431     padding: 0.5rem;
 432 }
 433
 434 div.book .variablelist .term,
 435 div.appendix .variablelist .term {
 436     font-weight: 500;
 437 }
 438
 439 /*
 440   This relies on highlight.js applying certain classes on the prompts.
 441   For more details, see https://highlightjs.readthedocs.io/en/latest/css-classes-reference.html#stylable-scopes
 442 */
 443 .hljs-meta.prompt_ {
 444     user-select: none;
 445     -webkit-user-select: none;
 446 }