123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422 |
- /* Font links ------------------------------------------------------------- */
- @font-face {
- font-family:"Open Sans";
- font-weight: 400;
- font-style: normal;
- src: local("Open Sans Regular"),
- url("/fonts/open-sans/open-sans-regular.woff2") format("woff2"),
- url("/fonts/open-sans/open-sans-regular.woff") format("woff");
- }
- @font-face {
- font-family:"Open Sans";
- font-weight: 400;
- font-style: italic;
- src: local("Open Sans Italic"),
- url("/fonts/open-sans/open-sans-italic.woff2") format("woff2"),
- url("/fonts/open-sans/open-sans-italic.woff") format("woff");
- }
- @font-face {
- font-family:"Open Sans";
- font-weight: 500;
- font-style: normal;
- src: local("Open Sans SemiBold"),
- url("/fonts/open-sans/open-sans-semibold.woff2") format("woff2"),
- url("/fonts/open-sans/open-sans-semibold.woff") format("woff");
- }
- @font-face {
- font-family:"Open Sans";
- font-weight: 500;
- font-style: italic;
- src: local("Open Sans SemiBold Italic"),
- url("/fonts/open-sans/open-sans-semibold-italic.woff2") format("woff2"),
- url("/fonts/open-sans/open-sans-semibold-italic.woff") format("woff");
- }
- @font-face {
- font-family:"Open Sans";
- font-weight: 600;
- font-style: normal;
- src: local("Open Sans Bold"),
- url("/fonts/open-sans/open-sans-bold.woff2") format("woff2"),
- url("/fonts/open-sans/open-sans-bold.woff") format("woff");
- }
- @font-face {
- font-family:"Open Sans";
- font-weight: 600;
- font-style: italic;
- src: local("Open Sans Bold Italic"),
- url("/fonts/open-sans/open-sans-bold-italic.woff2") format("woff2"),
- url("/fonts/open-sans/open-sans-bold-italic.woff") format("woff");
- }
- @font-face {
- font-family:"Hack";
- font-weight: 400;
- font-style: normal;
- src: local("Hack Regular"),
- url("/fonts/hack/hack-regular.woff2") format("woff2"),
- url("/fonts/hack/hack-regular.woff") format("woff");
- }
- /* General ---------------------------------------------------------------- */
- /* Default light theme */
- :root, :root.light {
- /* Font declarations */
- --sans-font: Open Sans, Noto Sans, Helvetica, sans-serif;
- --mono-font: Hack, Noto Mono, Courier, monospace;
- /* Effect transitions */
- --link-trans: color 0.5s, background 0.5s, ease-in-out;
- --img-trans: opacity 0.5s ease-in-out;
- /* Palette */
- --orange: #ff851b;
- --dark-orange: #c27d42;
- --light-gray: #c8c8c8; /* (HS)L: 200/255 */
- --gray: #808080; /* (HS)L: 128/255 */
- --gray-240: #f0f0f0; /* (HS)L: 240/255 */
- --gray-100: #646464; /* (HS)L: 100/255 */
- --gray-50: #323232; /* (HS)L: 50/255 */
- /* Sections */
- --bg-color: #fff;
- --text-color: var(--gray-100);
- --heading-color: var(--gray-100);
- --link-color: var(--orange);
- --link-hover-color: var(--gray-50);
- --link-visited-color: var(--dark-orange);
- --nav-link-color: var(--gray);
- --nav-link-hover-color: var(--orange);
- --main-title-link-color: var(--link-color);
- --main-title-link-hover-color: var(--link-hover-color);
- --toc-title-color: var(--gray);
- --toc-bg-color: var(--gray-240);
- --toc-link-color: var(--link-color);
- --toc-link-hover-color: var(--link-hover-color);
- /* Syntax highlighting */
- --code-border-color: var(--light-gray);
- --code-bg-color: var(--gray-240);
- --code-text-color: var(--gray);
- --code-error-color: #c60901;
- --code-datatype-color: var(--gray-50);
- --code-string-color: var(--orange);
- }
- * {
- margin: 0;
- padding: 0;
- box-sizing: border-box;
- }
- html {
- background: var(--bg-color);
- color: var(--text-color);
- font-family: var(--sans-font);
- font-size: 62.5%;
- }
- h1, h2, h3, h4, h5, h6 {
- color: var(--heading-color);
- word-wrap: break-word;
- }
- h1 {
- margin: 4rem 0 2rem;
- font-size: 2.8rem;
- }
- h2 {
- margin: 3rem 0 1.5rem;
- font-size: 2.4rem;
- }
- h3 {
- margin: 3rem 0 1.5rem;
- font-size: 2.2rem;
- }
- a {
- font-weight: 500;
- color: var(--link-color);
- text-decoration: none;
- }
- a:hover {
- color: var(--link-hover-color);
- transition: var(--link-trans);
- }
- a:visited { color: var(--link-visited-color); }
- code {
- font-family: var(--mono-font);
- }
- /* Sections --------------------------------------------------------------- */
- .header {
- margin: 5rem auto;
- }
- .header-title {
- text-align: center;
- margin: 0 auto 1.6rem;
- font-size: 3.8rem;
- }
- .header-title__link, .header-title__link:hover {
- background: none;
- color: var(--heading-color);
- text-decoration: none;
- }
- .nav {
- margin: 0 auto;
- }
- .nav__link {
- font-size: 2rem;
- font-weight: 400;
- color: var(--nav-link-color);
- text-decoration: none;
- }
- .nav__link:hover {
- color: var(--nav-link-hover-color);
- }
- .main {
- font-size: 1.6rem;
- word-wrap: break-word;
- }
- .main-title { font-size: 2.6rem; }
- .main-title a { color: var(--main-title-link-color); }
- .main-title a:hover { color: var(--main-title-link-hover-color); }
- .main p { margin: 1.5rem 0; }
- .main ol { margin: 0 0 0 2rem; }
- .main ol li { margin: 1rem 0; }
- .main ul {
- list-style: disc outside;
- margin: 0 0 0 2rem;
- }
- .main ul li { margin: 1rem 0; }
- .main ul li p { margin: 0; }
- .main ul li ul li { margin: 0 0 0 2.6rem; }
- .toc {
- margin: 2rem 0 4rem;
- background: var(--toc-bg-color);
- border-radius: 0.5rem;
- }
- .toc-title {
- margin: 0 0 1rem;
- font-size: 2rem;
- font-weight: 600;
- color: var(--toc-title-color);
- }
- .toc a {
- font-weight: 400;
- color: var(--toc-link-color);
- }
- .toc a:hover { color: var(--toc-link-hover-color); }
- .toc ul { list-style: none; }
- .toc ul li:before { content: unset; }
- .toc ul li ul li { margin: 0 0 0 1.2rem; }
- .toc ul li ul li ul li { margin: 0 0 0 2.6rem; }
- .footer {
- margin: 4rem auto;
- font-size: 1.2rem;
- }
- .footer p {
- margin: 1rem 0;
- text-align: center;
- }
- .footer a[rel="license"]:hover {
- background: none;
- }
- .footer a[rel="license"] img {
- margin: 1rem auto;
- border: 0;
- opacity: 0.8;
- }
- .footer a[rel="license"] img:hover {
- opacity: 1.0;
- transition: var(--img-trans);
- }
- /* Syntax highlighting ---------------------------------------------------- */
- div.sourceCode {
- padding: 0 1rem;
- border-top: 1.2rem solid var(--code-border-color);
- border-radius: 0.5rem;
- background: var(--code-bg-color);
- }
- pre.sourceCode {
- padding: 2rem 0;
- background: var(--code-bg-color);
- overflow: auto;
- }
- .sourceLine, .sourceLine:hover {
- background: var(--code-bg-color);
- color: var(--code-text-color);
- }
- .sourceCode .er { color: var(--code-error-color); }
- .sourceCode .dt { color: var(--code-datatype-color); }
- .sourceCode .st { color: var(--code-string-color); }
- /* Indentation adjustment hack */
- code.sourceCode span[id^="cb"] { margin: 0 0 0 -4rem; }
- code.sourceCode:first-child { margin: 0 0 0 4rem; }
- code.sourceCode .dt { margin: 0 0 0 -2rem; }
- /* Media queries ---------------------------------------------------------- */
- @media (max-width: 689px) {
- .header, .main, .footer { padding: 0 2rem; }
- /* Scale header logo */
- .header-title__link img {
- max-width: 90%;
- position: relative;
- object-fit: cover;
- object-position: center;
- }
- /* Stack nav items */
- .nav { width: 18rem; }
- .nav__link { display: block; }
- /* TOC spans full width */
- .toc {
- margin: 0 -2rem;
- padding: 4rem 2rem;
- }
- }
- @media (min-width: 690px) {
- .header, .main, .footer { padding: 0 5rem; }
- /* Horizontal nav */
- .nav { text-align: center; }
- .nav__link {
- margin: 0 1rem;
- display: inline;
- }
- /* TOC is 45% of min-width */
- .toc {
- margin: 0;
- padding: 4rem;
- width: 31rem;
- }
- }
- @media (min-width: 960px) {
- /* Center sections, set fixed width */
- .header, .main, .footer {
- width: 95rem;
- margin-left: auto;
- margin-right: auto;
- }
- }
- /* Misc ------------------------------------------------------------- */
- #theme-selector:hover {
- cursor: pointer;
- }
- /* Dark theme ------------------------------------------------------------- */
- @media (prefers-color-scheme: dark) {
- :root {
- /* Palette */
- --orange: #ff851b;
- --dark-orange: #c27d42;
- --light-gray: #c8c8c8; /* (HS)L: 200/255 */
- --gray: #808080; /* (HS)L: 128/255 */
- --gray-50: #323232; /* (HS)L: 50/255 */
- --gray-35: #232323; /* (HS)L: 35/255 */
- /* Sections */
- --bg-color: var(--gray-50);
- --text-color: var(--light-gray);
- --heading-color: var(--light-gray);
- --link-color: var(--orange);
- --link-hover-color: var(--light-gray);
- --link-visited-color: var(--dark-orange);
- --nav-link-color: var(--light-gray);
- --nav-link-hover-color: var(--orange);
- --main-title-link-color: var(--link-color);
- --main-title-link-hover-color: var(--link-hover-color);
- --toc-title-color: var(--gray);
- --toc-bg-color: var(--gray-35);
- --toc-link-color: var(--link-color);
- --toc-link-hover-color: var(--link-hover-color);
- /* Syntax highlighting */
- --code-border-color: #ed9c55; /* light orange */
- --code-bg-color: var(--gray-35);
- --code-text-color: #555; /* (HS)L: 85/255 */
- --code-error-color: #c60901; /* red */
- --code-datatype-color: var(--gray);
- --code-string-color: #ed9c55;
- }
- }
- /* Repeat inside a .dark class to continue to support theme selection links in
- * the nav. The .dark and .light classes allow users to override the media
- * query-detected setting via the selection links if desired. */
- :root.dark {
- /* Palette */
- --orange: #ff851b;
- --dark-orange: #c27d42;
- --light-gray: #c8c8c8; /* (HS)L: 200/255 */
- --gray: #808080; /* (HS)L: 128/255 */
- --gray-50: #323232; /* (HS)L: 50/255 */
- --gray-35: #232323; /* (HS)L: 35/255 */
- /* Sections */
- --bg-color: var(--gray-50);
- --text-color: var(--light-gray);
- --heading-color: var(--light-gray);
- --link-color: var(--orange);
- --link-hover-color: var(--light-gray);
- --link-visited-color: var(--dark-orange);
- --nav-link-color: var(--light-gray);
- --nav-link-hover-color: var(--orange);
- --main-title-link-color: var(--link-color);
- --main-title-link-hover-color: var(--link-hover-color);
- --toc-title-color: var(--gray);
- --toc-bg-color: var(--gray-35);
- --toc-link-color: var(--link-color);
- --toc-link-hover-color: var(--link-hover-color);
- /* Syntax highlighting */
- --code-border-color: #ed9c55; /* light orange */
- --code-bg-color: var(--gray-35);
- --code-text-color: #555; /* (HS)L: 85/255 */
- --code-error-color: #c60901; /* red */
- --code-datatype-color: var(--gray);
- --code-string-color: #ed9c55;
- }
|