@import 'https://synit.org/css/font-definitions.css';
:root { --body-font: "Inter", sans-serif; --code-font: "Inconsolata Regular", monospace; --heading-font: var(--body-font); --condensed-body-font: var(--body-font); --indentation: 2rem; --left-margin: 2rem; }

html, body, * { box-sizing: border-box; }

html { margin: 0; padding: 0; font-size: 14pt; line-height: 1.25; }

body { font-family: var(--body-font); font-weight: normal; margin: 0 auto; max-width: 960px; padding: 0; background: white; color: black; }

body > * { margin: 0 var(--indentation); }

body > header { margin-bottom: 2rem; }

body > header h1 { margin-left: var(--left-margin); font-weight: 400; }

body > header h1 .title { font-size: 200%; }

body > header h1 .subtitle { display: block; }

main { clear: both; }

main > h1 { font-size: 1.6rem; }

main > h2 { font-size: 1.28rem; }

main > h3 { font-size: 1rem; }

main > h4 { font-size: 1rem; font-weight: inherit; }

main > h5 { font-size: 1rem; font-weight: inherit; }

main > h6 { font-size: 1rem; font-weight: inherit; }

main > * { margin-left: var(--left-margin); }

main > h1 { margin-left: 0; }

footer { margin-top: 2rem; text-align: right; font-size: 80%; color: #888; }

footer p { margin: 0; }

.clear, h1, h2, h3, h4, h5, h6 { clear: both; }

.noclear { clear: none; }

ol ol { list-style-type: lower-latin; }

.footnotes { font-size: 80%; padding-top: 1rem; }

strong, b { font-weight: 600; }

article { clear: both; }

/* Rouge (highlighter) uses table layout for its gutters and line numbers */
td > pre { margin: 0; }

.alignright { text-align: right; }

div.aligncenter { width: max-content; margin-left: auto; margin-right: auto; text-align: left; }

.aligncenter { text-align: center; }

.indented { margin-left: var(--indentation); }

.condensed { font-family: var(--condensed-body-font); }

.diagram { margin-top: 2rem; margin-bottom: 2rem; }

div.highlight { text-align: left; }

pre > code { display: inline-block; text-align: left; }

.rouge-gutter .lineno { position: relative; width: var(--indentation); margin-left: calc(0 - var(--indentation) - 0.5rem); display: none; text-align: right; margin-right: 0.5rem; color: #aaa; }

.linenos .rouge-gutter .lineno { display: block; }

pre, code { font-family: var(--code-font); }

h1 code, h2 code, h3 code, h4 code, h5 code, h6 code { font-family: inherit; }

img { max-width: 100%; }

@media all and (min-width: 960px) { :root { --left-margin: 6rem; } html { font-size: 15pt; } body { font-weight: 300; } }

.synit-logo { --left-margin: 0; }

@media (min-width: 520px) { .synit-logo { float: right; margin: 0; width: 200px; margin-left: 1rem; margin-bottom: 1rem; } }

/*# sourceMappingURL=style.css.map */