mirror of
https://github.com/aantron/dream.git
synced 2025-12-16 00:05:08 -05:00
2b13c3206a
upload_event was removed from dream.mli in 018e8e273c5e01e24efefa8e2b2b5a9e4145c7a1 new_global was removed in d81b1986b67ccf8024deeb3d1c223452116fdb4d
769 lines
12 KiB
CSS
769 lines
12 KiB
CSS
/* This file is part of Dream, released under the MIT license. See
|
|
LICENSE.md for details, or visit https://github.com/aantron/dream.
|
|
|
|
Copyright 2021 Anton Bachin */
|
|
|
|
|
|
|
|
/* Fonts. */
|
|
|
|
@font-face {
|
|
font-family: Lato;
|
|
font-style: normal;
|
|
font-weight: 400;
|
|
src: local(''),
|
|
url('lato-v17-latin-regular.woff2') format('woff2');
|
|
}
|
|
|
|
@font-face {
|
|
font-family: Lato;
|
|
font-style: normal;
|
|
font-weight: 700;
|
|
src: local(''),
|
|
url('lato-v17-latin-700.woff2') format('woff2');
|
|
}
|
|
|
|
@font-face {
|
|
font-family: Lato;
|
|
font-style: italic;
|
|
font-weight: 400;
|
|
src: local(''),
|
|
url('lato-v17-latin-italic.woff2') format('woff2');
|
|
}
|
|
|
|
@font-face {
|
|
font-family: Iosevka;
|
|
font-style: normal;
|
|
font-weight: 400;
|
|
src: local(''),
|
|
url('iosevka-regular.woff2') format('woff2');
|
|
}
|
|
|
|
@font-face {
|
|
font-family: FontAwesome;
|
|
font-style: normal;
|
|
font-weight: 400;
|
|
src: url('fa-solid-900.woff2') format('woff2');
|
|
}
|
|
|
|
@font-face {
|
|
font-family: FontAwesomeBrands;
|
|
font-style: normal;
|
|
font-weight: 400;
|
|
src: url('fa-brands-400.woff2') format('woff2');
|
|
}
|
|
|
|
@font-face {
|
|
font-family: 'Tenor Sans';
|
|
font-style: normal;
|
|
font-weight: 400;
|
|
src: url('tenor-sans-v12-latin-regular.woff2') format('woff2');
|
|
}
|
|
|
|
|
|
|
|
/* Theme */
|
|
|
|
/* Dark theme (default) */
|
|
:root, body:not([data-theme="light"]) {
|
|
--bg-color: #131618;
|
|
--text-color: #c9d1d9;
|
|
--code-bg-color: #2c333b;
|
|
--border-color: #282828;
|
|
--link-color: #8dc5ff;
|
|
--external-link-color: #5d7fcd;
|
|
--anchor-color: #bfcdea;
|
|
|
|
--of-color: #bec5cd;
|
|
--target-backing-color: #390022;
|
|
|
|
--hljs-keyword-color: #ff6c9b;
|
|
--hljs-identifier-color: #70df5c;
|
|
--hljs-tag-color: #c28eff;
|
|
--hljs-string-color: #e3db7a;
|
|
}
|
|
|
|
/* Light theme */
|
|
:root, body[data-theme="light"] {
|
|
--bg-color: #f5f7fa;
|
|
--text-color: #1f2937;
|
|
--code-bg-color: #eef1f6;
|
|
--header-bg-color: #f5f7fa;
|
|
--border-color: #e0e0e0;
|
|
--link-color: #1c7ed6;
|
|
--external-link-color: #1d4ed8;
|
|
--anchor-color: #888;
|
|
|
|
--of-color: #6b7280;
|
|
--target-backing-color: #f7f6f3;
|
|
|
|
--hljs-keyword-color: #d94879;
|
|
--hljs-identifier-color: #22863a;
|
|
--hljs-tag-color: #6f42c1;
|
|
--hljs-string-color: #b94e48;
|
|
}
|
|
|
|
body {
|
|
font-family: Lato, -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen, Ubuntu, Cantarell, Open Sans, Helvetica Neue, Helvetica, Arial, sans-serif;
|
|
font-size: 16px;
|
|
line-height: 24px;
|
|
font-family: Lato;
|
|
}
|
|
|
|
pre, code {
|
|
font-size: 15px;
|
|
font-family: Iosevka, SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
|
|
}
|
|
|
|
header pre {
|
|
font-family: SFMono-Regular, Consolas, Liberation Mono, Menlo, monospace;
|
|
}
|
|
|
|
header code {
|
|
font-size: 16px;
|
|
}
|
|
|
|
h1 {
|
|
font-family: Tenor Sans, Lato, -apple-system, BlinkMacSystemFont, Segoe UI, Roboto, Oxygen, Ubuntu, Cantarell, Open Sans, Helvetica Neue, Helvetica, Arial, sans-serif;
|
|
}
|
|
|
|
h1 {
|
|
font-size: 96px;
|
|
line-height: 1;
|
|
position: relative;
|
|
left: -11px;
|
|
}
|
|
|
|
h6 {
|
|
font-size: 20px;
|
|
font-weight: normal;
|
|
}
|
|
|
|
|
|
|
|
/* Colors and presentation styles. */
|
|
|
|
body {
|
|
background-color: var(--bg-color);
|
|
color: var(--text-color);
|
|
}
|
|
|
|
.odoc-content pre {
|
|
background-color: var(--code-bg-color);
|
|
margin-left: 1em;
|
|
margin-right: 1em;
|
|
border: 1px solid var(--border-color);
|
|
}
|
|
.odoc-content .spec > pre {
|
|
background: none;
|
|
margin: 0;
|
|
border: none;
|
|
}
|
|
|
|
.odoc-content code {
|
|
/* color: #ddd; */
|
|
background-color: var(--code-bg-color);
|
|
padding: 0 5px;
|
|
margin: 0 1px;
|
|
white-space: nowrap;
|
|
line-height: 20px;
|
|
font-size: 13.5px;
|
|
}
|
|
.odoc-content pre > code,
|
|
.odoc-content .spec > code {
|
|
background: none;
|
|
padding: 0;
|
|
margin: 0;
|
|
color: inherit;
|
|
white-space: inherit;
|
|
line-height: inherit;
|
|
font-size: 15px;
|
|
}
|
|
.spec-doc pre > code {
|
|
font-size: 13.5px;
|
|
}
|
|
|
|
/* h1, h2, h3 {
|
|
font-weight: 400;
|
|
color: white;
|
|
} */
|
|
|
|
/* .spec {
|
|
color: white;
|
|
} */
|
|
|
|
header {
|
|
background-color: var(--bg-color);
|
|
border-bottom: 1px solid var(--border-color);
|
|
}
|
|
|
|
header .topmost {
|
|
/* background-color: #0f131a; */
|
|
border-bottom: 1px solid var(--border-color);
|
|
}
|
|
|
|
.topmost .toolbar {
|
|
float: right;
|
|
}
|
|
|
|
.topmost .toggle-theme-btn {
|
|
all: unset;
|
|
position: relative;
|
|
}
|
|
|
|
.topmost .toggle-theme-btn::before {
|
|
content: "\F185"; /* sun */
|
|
position: absolute;
|
|
left: calc(0% - 16px + -8px);
|
|
top: calc(0% + 4px);
|
|
width: 16px;
|
|
height: 16px;
|
|
display: flex;
|
|
justify-content: center;
|
|
align-items: center;
|
|
font-family: FontAwesome, FontAwesomeBrands;
|
|
font-size: 15px;
|
|
}
|
|
|
|
body:not([data-theme="light"]) .topmost .toggle-theme-btn::before {
|
|
content: "\F186"; /* moon */
|
|
}
|
|
|
|
header pre {
|
|
padding: 27px 18px;
|
|
/* background-color: #202020; */
|
|
line-height: 27px;
|
|
}
|
|
|
|
.blurbs {
|
|
/* color: white; */
|
|
}
|
|
|
|
header pre, header pre code {
|
|
font-size: 18px;
|
|
}
|
|
|
|
header p {
|
|
margin-top: 12px;
|
|
margin-bottom: 12px;
|
|
}
|
|
|
|
header p .title {
|
|
font-family: Tenor Sans;
|
|
}
|
|
|
|
footer {
|
|
color: #666;
|
|
}
|
|
|
|
:target .backing {
|
|
background-color: var(--target-backing-color);
|
|
}
|
|
|
|
nav ~ * a[href="#builtin"],
|
|
nav ~ * a[href="#errors"],
|
|
nav ~ * a[href="#headers"],
|
|
nav ~ * a[href="#routing"],
|
|
nav ~ * a[href="#requests"],
|
|
nav ~ * a[href="#responses"],
|
|
nav ~ * a[href="#sessions"],
|
|
nav ~ * a[href="#templates"] {
|
|
font-style: italic;
|
|
}
|
|
|
|
header a[href*=example], .spec-doc a[href*=example] {
|
|
font-weight: bold;
|
|
}
|
|
|
|
header a[href^=http]::after, .spec-doc a[href^=http]::after {
|
|
content: "\f35d";
|
|
font-family: FontAwesome;
|
|
font-size: 10px;
|
|
line-height: 18px;
|
|
color: var(--external-link-color);
|
|
position: relative;
|
|
top: -1px;
|
|
margin-left: 2px;
|
|
margin-right: 3px;
|
|
}
|
|
.odoc-content a[href^=http] > code {
|
|
margin-right: -3px;
|
|
}
|
|
|
|
a, a:visited, a:active {
|
|
color: var(--link-color);
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
.odoc-content a > code {
|
|
color: var(--link-color);
|
|
}
|
|
|
|
.hljs-module-access, .hljs-keyword, .keyword {
|
|
color: var(--hljs-keyword-color);
|
|
}
|
|
|
|
.hljs-identifier, .hljs-literal, .hljs-type {
|
|
color: var(--hljs-identifier-color);
|
|
}
|
|
|
|
.hljs-tag {
|
|
color: var(--hljs-tag-color);
|
|
}
|
|
|
|
.hljs-string {
|
|
color: var(--hljs-string-color);
|
|
}
|
|
|
|
.of {
|
|
color: var(--of-color);
|
|
}
|
|
|
|
.topmost ul {
|
|
list-style: none;
|
|
}
|
|
|
|
.topmost ul li {
|
|
height: 24px;
|
|
}
|
|
|
|
.topmost ul li::before
|
|
{
|
|
display: inline-block;
|
|
width: 2rem;
|
|
padding-right: 0.25rem;
|
|
text-align: center;
|
|
font-family: FontAwesome, FontAwesomeBrands;
|
|
font-size: 15px;
|
|
}
|
|
|
|
.topmost ul li:nth-child(3)::before {
|
|
content: '\f09b';
|
|
}
|
|
|
|
.topmost ul li:nth-child(1)::before {
|
|
content: '\f126';
|
|
}
|
|
|
|
.topmost ul li:nth-child(2)::before {
|
|
content: '\f49e';
|
|
font-size: 13px;
|
|
}
|
|
|
|
.topmost ul li:nth-child(4)::before {
|
|
content: '\f303';
|
|
font-size: 14px;
|
|
}
|
|
|
|
|
|
|
|
/* Geometry.
|
|
|
|
Some of the styles here are not strictly geometry, but they *depend* on
|
|
geometry. */
|
|
|
|
body {
|
|
position: relative;
|
|
}
|
|
|
|
.odoc-spec {
|
|
max-width: 45rem;
|
|
}
|
|
|
|
body, p, h1, h2, h3, h6 {
|
|
margin: 0;
|
|
}
|
|
|
|
footer {
|
|
padding-top: 120px;
|
|
padding-bottom: 24px;
|
|
}
|
|
|
|
p + p, p + pre, pre + p {
|
|
margin-top: 12px;
|
|
}
|
|
|
|
.background {
|
|
z-index: -2;
|
|
}
|
|
|
|
header {
|
|
overflow: auto;
|
|
padding-bottom: 72px;
|
|
}
|
|
|
|
header .topmost {
|
|
padding-top: 12px;
|
|
padding-bottom: 24px;
|
|
margin-bottom: 48px;
|
|
}
|
|
|
|
header .blurbs {
|
|
max-width: 46em;
|
|
}
|
|
|
|
h2 {
|
|
padding-top: 96px;
|
|
margin-bottom: 48px;
|
|
}
|
|
|
|
h3 {
|
|
padding-top: 48px;
|
|
margin-bottom: 24px;
|
|
}
|
|
|
|
p + .odoc-spec {
|
|
margin-top: 36px;
|
|
}
|
|
|
|
.spec-doc {
|
|
margin-top: 12px;
|
|
margin-bottom: 36px;
|
|
margin-left: 1rem;
|
|
}
|
|
|
|
.spec-doc li + li {
|
|
margin-top: 12px;
|
|
}
|
|
#type-bigstring + .spec-doc li + li,
|
|
#val-next + .spec-doc li + li,
|
|
#val-origin_referrer_check + .spec-doc li + li,
|
|
#val-form + .spec-doc li + li,
|
|
#type-part + .spec-doc li + li,
|
|
#val-upload + .spec-doc li + li,
|
|
#val-static + .spec-doc li + li,
|
|
#val-from_path + .spec-doc li + li {
|
|
margin-top: 0;
|
|
}
|
|
|
|
#type-error + .spec-doc > ul > li + li {
|
|
margin-top: 18px;
|
|
}
|
|
|
|
ul ul {
|
|
margin-top: 12px;
|
|
margin-bottom: 12px;
|
|
}
|
|
|
|
ul ul li {
|
|
margin: 0 !important;
|
|
}
|
|
|
|
/* Two-column geometry. */
|
|
@media (min-width: 1240px) {
|
|
.odoc-spec {
|
|
max-width: none;
|
|
}
|
|
|
|
.spec {
|
|
float: left;
|
|
width: 28rem;
|
|
margin-right: 2em;
|
|
}
|
|
|
|
.background {
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0;
|
|
height: 100%;
|
|
width: 43rem;
|
|
/* background-color: #262626; */
|
|
border-right: 1px solid var(--border-color);
|
|
}
|
|
|
|
h2, h2 ~ :not(.odoc-spec):not(nav), footer {
|
|
margin-left: 30rem;
|
|
max-width: 30rem;
|
|
clear: both;
|
|
}
|
|
.odoc-content > pre {
|
|
margin-left: 31rem !important;
|
|
max-width: 28rem !important;
|
|
}
|
|
|
|
.spec.multiline {
|
|
margin-bottom: 36px;
|
|
}
|
|
|
|
.spec-doc {
|
|
float: left;
|
|
width: 30rem;
|
|
margin-top: 0;
|
|
margin-bottom: 12px;
|
|
margin-left: 0;
|
|
}
|
|
|
|
header .blurbs {
|
|
float: left;
|
|
width: 30rem;
|
|
}
|
|
|
|
.spec-doc > p ~ p:last-child, .spec-doc > p ~ pre:last-child {
|
|
margin-bottom: 36px;
|
|
}
|
|
|
|
p + .odoc-spec {
|
|
margin-top: 48px;
|
|
}
|
|
.odoc-spec + p {
|
|
padding-top: 24px;
|
|
}
|
|
|
|
.spec, h2, h3, footer {
|
|
clear: both;
|
|
}
|
|
|
|
h2 {
|
|
padding-top: 96px;
|
|
margin-bottom: 48px;
|
|
}
|
|
|
|
h3 {
|
|
padding-top: 48px;
|
|
margin-bottom: 24px;
|
|
}
|
|
|
|
#type-server + .spec-doc {
|
|
margin-top: -26px;
|
|
margin-bottom: 48px;
|
|
}
|
|
#val-patch + .spec-doc {
|
|
margin-top: -11.125em;
|
|
margin-bottom: 200px;
|
|
}
|
|
#val-debug + .spec-doc {
|
|
margin-top: -3.125em;
|
|
margin-bottom: 72px;
|
|
}
|
|
|
|
header .topmost {
|
|
padding-left: 14rem;
|
|
overflow: auto;
|
|
}
|
|
|
|
.topmost .titles {
|
|
float: left;
|
|
width: 29.6em;
|
|
}
|
|
|
|
.topmost ul {
|
|
float: left;
|
|
max-width: 46em;
|
|
padding-left: 0;
|
|
}
|
|
|
|
header pre {
|
|
float: left;
|
|
width: 24rem;
|
|
margin-top: 48px;
|
|
margin-left: 14rem;
|
|
margin-right: 4rem;
|
|
}
|
|
|
|
header .blurbs {
|
|
float: left;
|
|
margin-top: 24px;
|
|
padding-left: 0;
|
|
padding-right: 0;
|
|
}
|
|
}
|
|
@media (min-width: 1400px) {
|
|
.spec-doc {
|
|
width: 40rem;
|
|
}
|
|
|
|
header .blurbs {
|
|
width: 40rem;
|
|
}
|
|
|
|
h2, h2 ~ :not(.odoc-spec):not(nav), footer {
|
|
max-width: 40rem;
|
|
}
|
|
|
|
.odoc-content > pre {
|
|
max-width: 38rem !important;
|
|
}
|
|
}
|
|
@media (min-width: 1520px) {
|
|
.spec-doc {
|
|
width: 46rem;
|
|
}
|
|
|
|
header .blurbs {
|
|
width: 46rem;
|
|
}
|
|
|
|
h2, h2 ~ :not(.odoc-spec):not(nav), footer {
|
|
max-width: 46rem;
|
|
}
|
|
|
|
.odoc-content > pre {
|
|
max-width: 44rem !important;
|
|
}
|
|
}
|
|
|
|
/* Floating TOC. */
|
|
body > *:not(header), .topmost, .blurbs {
|
|
padding-left: 1em;
|
|
padding-right: 1em;
|
|
}
|
|
|
|
.odoc-toc ul {
|
|
columns: 2;
|
|
list-style: none;
|
|
}
|
|
|
|
h2:first-of-type {
|
|
padding-top: 48px;
|
|
}
|
|
|
|
@media (min-width: 550px) {
|
|
.odoc-toc ul {
|
|
columns: 3;
|
|
}
|
|
}
|
|
|
|
@media (min-width: 800px) {
|
|
body > * {
|
|
padding-left: 0;
|
|
padding-right: 0;
|
|
/* padding-left: 14rem; */
|
|
}
|
|
|
|
.odoc-content, body > footer {
|
|
padding-left: 14rem;
|
|
}
|
|
|
|
.odoc-toc {
|
|
position: absolute;
|
|
/* top: 580px; */
|
|
left: 0;
|
|
height: 100%;
|
|
width: 12rem;
|
|
overflow-y: scroll;
|
|
scrollbar-width: none;
|
|
line-height: 30px;
|
|
border-right: 1px solid var(--border-color);
|
|
background-color: var(--bg-color);
|
|
/* color: #ddd; */
|
|
}
|
|
.odoc-toc::-webkit-scrollbar {
|
|
display: none;
|
|
}
|
|
.odoc-toc.fixed {
|
|
position: fixed;
|
|
top: 0;
|
|
}
|
|
|
|
.odoc-toc ul {
|
|
columns: 1;
|
|
padding: 0;
|
|
margin-top: 30px;
|
|
margin-bottom: 30px;
|
|
}
|
|
|
|
.odoc-toc li {
|
|
padding-left: 2em;
|
|
}
|
|
|
|
.odoc-toc a,
|
|
.odoc-toc a:visited,
|
|
.odoc-toc a:active {
|
|
color: inherit;
|
|
display: inline-block;
|
|
width: 100%;
|
|
}
|
|
|
|
.odoc-toc.fixed .current-section {
|
|
/* background-color: #1c2a3b; */
|
|
/* color: black;
|
|
font-weight: bold; */
|
|
/* background-color: black;
|
|
font-weight: bold; */
|
|
}
|
|
|
|
.odoc-toc.fixed .current-section::before {
|
|
content: "—";
|
|
position: absolute;
|
|
left: 0.75rem;
|
|
}
|
|
|
|
h2:first-of-type {
|
|
padding-top: 36px;
|
|
}
|
|
}
|
|
|
|
.odoc-content pre {
|
|
padding: 12px;
|
|
}
|
|
.odoc-content .spec > pre {
|
|
padding: 0;
|
|
}
|
|
|
|
|
|
|
|
/* Anchors. */
|
|
|
|
.anchor {
|
|
visibility: hidden;
|
|
position: absolute;
|
|
margin-left: -15px;
|
|
margin-top: 1px;
|
|
padding-right: 12px;
|
|
text-decoration: none !important;
|
|
}
|
|
|
|
h1 > .anchor {
|
|
display: none;
|
|
}
|
|
|
|
h2 > .anchor, h3 > .anchor {
|
|
margin-top: -1px;
|
|
}
|
|
|
|
.multiline > .anchor {
|
|
margin-top: -1px;
|
|
}
|
|
|
|
:hover > .anchor {
|
|
visibility: visible;
|
|
}
|
|
|
|
.anchor:before {
|
|
content: "#";
|
|
content: '\f0c1';
|
|
font-family: FontAwesome;
|
|
font-size: 10px;
|
|
font-style: oblique;
|
|
color: var(--anchor-color);
|
|
position: relative;
|
|
top: -1.75px;
|
|
left: -4px;
|
|
}
|
|
h2 .anchor::before, h3 .anchor::before {
|
|
left: 0px;
|
|
}
|
|
|
|
.backing {
|
|
position: absolute;
|
|
left: 0;
|
|
width: 100%;
|
|
z-index: -1;
|
|
}
|
|
|
|
h2 .backing {
|
|
height: 1.1em;
|
|
}
|
|
|
|
h3 .backing {
|
|
height: 1.3em;
|
|
}
|
|
|
|
.spec .backing {
|
|
height: 1.5em;
|
|
}
|