/* TODO Use ../files/main.css instead */ :root { color-scheme: light dark; --color-blue: #049EF4; --text-color: #444; --font-size: 16px; --line-height: 26px; --border-style: 1px solid #E8E8E8; --panel-width: 300px; --page-padding: 24px; --max-width: 760px; --icon-size: 20px; } @media (prefers-color-scheme: dark) { :root { --background-color: #222; --secondary-background-color: #2e2e2e; --text-color: #bbb; --secondary-text-color: #666; --border-style: 1px solid #444; } } @font-face { font-family: 'Roboto Mono'; src: local('Roboto Mono'), local('RobotoMono-Regular'), url('../../files/RobotoMono-Regular.woff2') format('woff2'); font-style: normal; font-weight: 400; } @font-face { font-family: 'Inter'; font-style: normal; font-weight: 400; src: local('Inter-Regular'), url("../../files/Inter-Regular.woff2?v=3.6") format("woff2"); } @font-face { font-family: 'Inter'; font-style: normal; font-weight: 600; src: local('Inter-SemiBold'), url("../../files/Inter-SemiBold.woff2?v=3.6") format("woff2"); } html { font-family: 'Inter', sans-serif; font-size: var(--font-size); line-height: var(--line-height); } body { color: var(--text-color); tab-size: 4; overflow: auto; max-width: var(--max-width); margin: 0 auto; padding-top: var(--page-padding); padding-bottom: var(--page-padding); padding-right: var(--page-padding); padding-left: calc(var(--page-padding) + var(--panel-width)); word-break: break-word; } a { color: var(--color-blue); cursor: pointer; text-decoration: none; } h1 { font-size: 40px; line-height: 48px; font-weight: normal; margin-left: -2px; margin-top: 16px; margin-bottom: -8px; } p { margin-top: 16px; margin-bottom: 16px; padding-right: 16px; } li > p { width: calc(100% - 2em); } table { margin-top: 1em; margin-bottom: 1em; } .warning { padding: 1em; background: red; } .footnote { font-size: smaller; vertical-align: baseline; position: relative; top: -0.4em; } .footnotes { font-size: smaller; } .deep-link { position: absolute; transform: translateX(-1em); } pre { background: rgb(143, 140, 140); padding: 1em; position: relative; } pre>code { white-space: inherit; background: none; } pre.prettyprint { margin-top: 2em !important; margin-bottom: 2em !important; position: relative; } pre.prettyprint li { white-space: pre; } pre.prettyprint code, .dos { color: #CCC; font-family: var(--code-block-font-family); display: block; } /* to handle long words in paragraph */ p code { word-break: break-word; white-space: normal; } div[data-diagram] { height: 100%; } .spread { display: flex; text-align: center; margin: 2em auto 3em; } .spread div[data-diagram] { height: 150px; } .spread>div { flex: 1 1 100%; } .spread .code { font-family: var(--code-font-family); } .spread .code>div { text-align: left; } #c { position: absolute; top: 0; left: 0; width: 100%; height: 100%; z-index: -100; } .border { border: 1px solid black; } .lesson-comment-notes { padding: 1em; margin: 1em; background: #DDD; color: red; } .threejs_navbar>div, .lesson-comments, .lesson-comment-sep, .lesson-main>h1:not(:first-child), .lesson-main>h2:not(:first-child), .lesson-main>h3:not(:first-child), .lesson-main>h4:not(:first-child), .lesson-main>h5:not(:first-child), .lesson-main>h6:not(:first-child) { margin-top: 1.66em; } .lesson-main>.threejs_example_container { max-width: 90%; } .lesson-main>img { width: unset; } .threejs_example { width: 100%; height: 500px; } .color { padding: 0.25em; border-radius: 0.5em; color: black; } .dark-color { padding: 0.25em; border-radius: 0.5em; color: white; } .checkerboard { background-color: #404040; background-image: linear-gradient(45deg, #808080 25%, transparent 25%), linear-gradient(-45deg, #808080 25%, transparent 25%), linear-gradient(45deg, transparent 75%, #808080 75%), linear-gradient(-45deg, transparent 75%, #808080 75%); background-size: 20px 20px; background-position: 0 0, 0 10px, 10px -10px, -10px 0px; } .fullscreen { position: fixed !important; left: var(--panel-width); top: 0; width: calc(100% - var(--panel-width)) !important; height: 100% !important; z-index: 100; } .lesson-main>blockquote { background-color: #DEF; padding: 1em; } .lesson-sidebar { font-size: small; columns: 220px; padding: 1em; column-rule: dashed 1px #CCC; background: #eee; margin-bottom: 1em; } .lesson-sidebar>ul>li { line-height: 1.3em; } .lesson-sidebar ul { line-height: 1.3em; margin-bottom: 1em; } .lesson-sidebar ul { list-style-type: none; padding-left: 1em; text-indent: -1em; } code { color: black; background-color: #ddd; padding: 0.1em 0.2em 0.1em 0.2em; white-space: nowrap; } .threejs_table_div_center { text-align: center; } .threejs_table_center { margin-left: auto; margin-right: auto; } .threejs_center { margin-left: auto; margin-top: 1em; margin-bottom: 1em; margin-right: auto; display: block; text-align: center; max-width: 95%; } .threejs_center>img, .threejs_center>object { max-width: 100%; } .threejs_image>img { width: 100%; display: block; } .threejs_math { margin-left: auto; margin-right: auto; display: inline-block; text-align: left; } .threejs_math_center { display: block; text-align: center; } .hcenter { display: -webkit-box; -webkit-box-orient: horizontal; -webkit-box-pack: center; -webkit-box-align: center; display: -moz-box; -moz-box-orient: horizontal; -moz-box-pack: center; -moz-box-align: center; display: box; box-orient: horizontal; box-pack: center; box-align: center; } table.vertex_table { border: 1px solid black; border-collapse: collapse; font-family: monospace; font-size: small; } table.vertex_table th { background-color: #88ccff; padding-right: 1em; padding-left: 1em; } table.vertex_table td { border: 1px solid black; text-align: right; padding-right: 1em; padding-left: 1em; } iframe { display: block; } iframe.body { height: 100%; } iframe.threejs_example, iframe.threejs_diagram { border: none; margin-left: auto; margin-right: auto; display: block; } iframe.threejs_example { background: black; } iframe.noborder { border: none !important; } .threejs_example_container>div { border: 1px solid black; margin: 0 auto; } iframe.external_diagram { border: none; margin-left: auto; margin-right: auto; display: block; } div.threejs_bottombar { background-color: #def; margin-top: var(--page-padding); outline: var(--page-padding) solid #def; } div.threejs_bottombar>h3 { font-size: x-large; font-weight: bold; margin-bottom: 1em; } div.threejs_bottombar code { background-color: #ccc; } .dos { color: var(--text-color); line-height: 1; } @media (max-width: 720px) { .threejs_example { max-height: 400px; } .threejs_example_container>div { max-width: 95%; } .threejs_diagram_container iframe { max-width: 95%; } iframe.background { max-width: 100%; } } @media all and ( min-width: 1700px ) { :root { --panel-width: 360px; --font-size: 18px; --line-height: 28px; --max-width: 880px; --page-padding: 28px; --icon-size: 24px; } h1 { font-size: 42px; line-height: 50px; } } @media all and ( max-width: 640px ) { :root { --page-padding: 16px; --icon-size: 24px; } body { padding: var(--page-padding); } h1 { font-size: 28px; line-height: 36px; padding-right: 20px; margin-top: 0; } } @media (prefers-color-scheme: dark) { html { scrollbar-color: hsl(0, 0%, 35%) hsl(0, 0%, 13%); } .warning { background: darkred; } code { background: #666; color: #CCC; } img { background: #DDD; } img[src$=".svg"] { filter: invert(1) hue-rotate(180deg); background: none; } .noinvertdark { filter: none !important; } .nobg { background: none; } .lesson-sidebar { background: #222; } .lesson-main>blockquote { background-color: #1b1b44; } div.threejs_bottombar { background-color: #1b1b44; outline: var(--page-padding) solid #1b1b44; } div.threejs_bottombar code { background-color: #348; } .lesson-comment-notes { background: #222; } input[type=text] { background: #444; color: white; border: none; padding: 3px; } }