lesson.css

/* 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;
	width: 100%;
	border-collapse: collapse;
}

.desc {
	padding-left: 0px;
}

table th,
table td {
	text-align: left;
	vertical-align: top;
	padding: 8px 6px;
	border-bottom: var(--border-style);
}

table th {
	text-decoration: none;
}
table th:first-child,
table td:first-child {
	padding-left: 0;
}

.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;
  }

}