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.
498 lines
8.3 KiB
498 lines
8.3 KiB
/* 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;
|
|
}
|
|
|
|
}
|
|
|