123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498 |
- /* 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;
- }
- }
|