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