You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

499 lines
8.3 KiB

2 years ago
/* 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;
}
}