287 lines
4.5 KiB
CSS
287 lines
4.5 KiB
CSS
:root {
|
|
--white: rgb(250, 250, 250);
|
|
--light-gray: rgb(219, 219, 219);
|
|
--gray: rgb(66, 66, 66);
|
|
--black: rgb(20, 20, 20);
|
|
--dark-background: rgb(50, 50, 50);
|
|
|
|
--border-radius: 5px;
|
|
}
|
|
|
|
html {
|
|
padding: 0;
|
|
font-size: 16px;
|
|
background: var(--white);
|
|
color: var(--black);
|
|
font-family: 'Open Sans', Arial, sans-serif;
|
|
max-width: 1200px;
|
|
margin: 0 auto;
|
|
}
|
|
|
|
.dark-mode nav {
|
|
border-color: var(--white);
|
|
}
|
|
|
|
nav {
|
|
margin-top: 50px;
|
|
min-width: 30%;
|
|
border-radius: var(--border-radius);
|
|
display: inline-block;
|
|
padding: 20px 30px;
|
|
/* background-color: var(--light-gray); */
|
|
border: 1px solid var(--black);
|
|
}
|
|
|
|
nav > h3 {
|
|
margin: 0;
|
|
}
|
|
|
|
nav > ol a {
|
|
font-weight: bold;
|
|
}
|
|
|
|
html.dark-mode {
|
|
background: var(--dark-background);
|
|
color: #ccc;
|
|
}
|
|
|
|
.dark-mode h1,
|
|
.dark-mode h2,
|
|
.dark-mode h3,
|
|
.dark-mode h4,
|
|
.dark-mode h5,
|
|
.dark-mode h6 {
|
|
color: white;
|
|
}
|
|
|
|
a {
|
|
color: #569cd6;
|
|
font-weight: bold;
|
|
}
|
|
|
|
.dark-mode a:hover {
|
|
color: white;
|
|
}
|
|
|
|
.dark-mode button {
|
|
border: 1px solid rgb(211, 211, 211);
|
|
color: rgb(211, 211, 211);
|
|
background: linear-gradient(to top, rgb(53, 53, 53), rgb(73, 73, 73));
|
|
}
|
|
|
|
button {
|
|
background-color: var(--white);
|
|
border: 1px solid var(--gray);
|
|
color: var(--gray);
|
|
padding: 10px 20px;
|
|
border-radius: 5px;
|
|
transition: transform 0.2s;
|
|
}
|
|
|
|
label {
|
|
display: flex;
|
|
align-items: center;
|
|
user-select: none;
|
|
cursor: pointer;
|
|
}
|
|
|
|
input[type='checkbox'] {
|
|
display: none;
|
|
}
|
|
input[type='checkbox'] + .checkbox {
|
|
position: relative;
|
|
margin-right: 10px;
|
|
width: 32px;
|
|
height: 32px;
|
|
}
|
|
|
|
.controls {
|
|
display: flex;
|
|
}
|
|
|
|
.controls > * {
|
|
margin-right: 1em;
|
|
}
|
|
|
|
.dark-mode .checkbox {
|
|
background-color: var(--gray);
|
|
border: 1px solid var(--white);
|
|
}
|
|
|
|
.checkbox {
|
|
display: inline-block;
|
|
border-radius: 3px;
|
|
background-color: var(--white);
|
|
border: 1px solid var(--black);
|
|
}
|
|
|
|
.checkbox:after {
|
|
content: '';
|
|
position: absolute;
|
|
}
|
|
|
|
input[type='checkbox']:checked + .checkbox {
|
|
background-color: rgb(174, 238, 78);
|
|
}
|
|
|
|
input[type='checkbox']:checked + .checkbox:after {
|
|
left: 11px;
|
|
top: 6px;
|
|
width: 5px;
|
|
height: 12px;
|
|
border: solid var(--white);
|
|
border-width: 0 4px 4px 0;
|
|
-webkit-transform: rotate(45deg);
|
|
-ms-transform: rotate(45deg);
|
|
transform: rotate(45deg);
|
|
}
|
|
|
|
button:active {
|
|
transform: scale(0.98);
|
|
}
|
|
|
|
button:hover {
|
|
filter: brightness(0.95);
|
|
}
|
|
|
|
button:focus {
|
|
box-shadow: 0 0 3px 1px #569cd6;
|
|
outline: none;
|
|
}
|
|
|
|
a {
|
|
text-decoration: none;
|
|
}
|
|
|
|
.title {
|
|
position: relative;
|
|
font-size: 2.5rem;
|
|
}
|
|
|
|
.description {
|
|
font-style: italic;
|
|
margin-bottom: 3rem;
|
|
}
|
|
|
|
.center {
|
|
display: block;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
}
|
|
|
|
.doctest {
|
|
margin: 0;
|
|
padding-top: 20px;
|
|
padding-bottom: 20px;
|
|
box-shadow: inset 1px 1px 3px rgba(0, 0, 0, 0.5);
|
|
}
|
|
.collapsed .doctest {
|
|
height: 0;
|
|
margin: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
.doctest-wrapper {
|
|
overflow: hidden;
|
|
border-radius: 5px;
|
|
|
|
margin-top: 1em;
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
.doctest-titlebar {
|
|
display: flex;
|
|
align-items: center;
|
|
color: whitesmoke;
|
|
background-color: #111;
|
|
padding: 10px;
|
|
}
|
|
|
|
.doctest-section-title {
|
|
margin: 0;
|
|
margin-left: 40px;
|
|
|
|
padding: 0;
|
|
font-size: 1.3em;
|
|
}
|
|
|
|
.grayBorder {
|
|
border: 1px solid lightgray;
|
|
}
|
|
|
|
.insetPadding {
|
|
padding: 16px;
|
|
}
|
|
|
|
.interactive {
|
|
/*** For regions observed by InteraktionDelegates and -Mappers ***/
|
|
-ms-content-zooming: none;
|
|
touch-action: none;
|
|
}
|
|
|
|
.unselectable {
|
|
-moz-user-select: none;
|
|
-webkit-user-select: none;
|
|
-ms-user-select: none;
|
|
user-select: none;
|
|
}
|
|
|
|
body {
|
|
padding: 16px;
|
|
}
|
|
|
|
canvas {
|
|
-ms-content-zooming: none; /** Crucial for MS Edge pointer events **/
|
|
touch-action: none; /** Crucial for MS Edge? **/
|
|
}
|
|
|
|
#runtime-errors {
|
|
left: -8px;
|
|
margin-left: 8px;
|
|
}
|
|
|
|
.intrinsic-container {
|
|
position: relative;
|
|
height: 0;
|
|
overflow: hidden;
|
|
}
|
|
|
|
/* 16x9 Aspect Ratio */
|
|
.intrinsic-container-16x9 {
|
|
padding-bottom: 56.25%;
|
|
}
|
|
|
|
/* 4x3 Aspect Ratio */
|
|
.intrinsic-container-4x3 {
|
|
padding-bottom: 75%;
|
|
}
|
|
|
|
.intrinsic-container iframe {
|
|
position: absolute;
|
|
border: 0;
|
|
top: 0;
|
|
left: 0;
|
|
width: 100%;
|
|
height: 100%;
|
|
}
|
|
|
|
#ctxmenu {
|
|
position: fixed;
|
|
background: white;
|
|
color: black;
|
|
cursor: pointer;
|
|
border: 1px lightgray solid;
|
|
}
|
|
|
|
#ctxmenu > a {
|
|
display: block;
|
|
padding: 0.25rem 1rem;
|
|
font-size: 18px;
|
|
margin: 0.125rem;
|
|
}
|
|
|
|
#ctxmenu > a:hover {
|
|
background: black;
|
|
color: white;
|
|
}
|