/*! modern-normalize v3.0.1 | MIT License | https://github.com/sindresorhus/modern-normalize */

/*
Document
========
*/

/**
Use a better box model (opinionated).
*/

*,
::before,
::after {
	box-sizing: border-box;
}

html {
	/* Improve consistency of default fonts in all browsers. (https://github.com/sindresorhus/modern-normalize/issues/3) */
	font-family:
		system-ui,
		'Segoe UI',
		Roboto,
		Helvetica,
		Arial,
		sans-serif,
		'Apple Color Emoji',
		'Segoe UI Emoji';
	line-height: 1.15; /* 1. Correct the line height in all browsers. */
	-webkit-text-size-adjust: 100%; /* 2. Prevent adjustments of font size after orientation changes in iOS. */
	tab-size: 4; /* 3. Use a more readable tab size (opinionated). */
}

/*
Sections
========
*/

body {
	margin: 0; /* Remove the margin in all browsers. */
}

/*
Text-level semantics
====================
*/

/**
Add the correct font weight in Chrome and Safari.
*/

b,
strong {
	font-weight: bolder;
}

/**
1. Improve consistency of default fonts in all browsers. (https://github.com/sindresorhus/modern-normalize/issues/3)
2. Correct the odd 'em' font sizing in all browsers.
*/

code,
kbd,
samp,
pre {
	font-family:
		ui-monospace,
		SFMono-Regular,
		Consolas,
		'Liberation Mono',
		Menlo,
		monospace; /* 1 */
	font-size: 1em; /* 2 */
}

/**
Add the correct font size in all browsers.
*/

small {
	font-size: 80%;
}

/**
Prevent 'sub' and 'sup' elements from affecting the line height in all browsers.
*/

sub,
sup {
	font-size: 75%;
	line-height: 0;
	position: relative;
	vertical-align: baseline;
}

sub {
	bottom: -0.25em;
}

sup {
	top: -0.5em;
}

/*
Tabular data
============
*/

/**
Correct table border color inheritance in Chrome and Safari. (https://issues.chromium.org/issues/40615503, https://bugs.webkit.org/show_bug.cgi?id=195016)
*/

table {
	border-color: currentcolor;
}

/*
Forms
=====
*/

/**
1. Change the font styles in all browsers.
2. Remove the margin in Firefox and Safari.
*/

button,
input,
optgroup,
select,
textarea {
	font-family: inherit; /* 1 */
	font-size: 100%; /* 1 */
	line-height: 1.15; /* 1 */
	margin: 0; /* 2 */
}

/**
Correct the inability to style clickable types in iOS and Safari.
*/

button,
[type='button'],
[type='reset'],
[type='submit'] {
	-webkit-appearance: button;
}

/**
Remove the padding so developers are not caught out when they zero out 'fieldset' elements in all browsers.
*/

legend {
	padding: 0;
}

/**
Add the correct vertical alignment in Chrome and Firefox.
*/

progress {
	vertical-align: baseline;
}

/**
Correct the cursor style of increment and decrement buttons in Safari.
*/

::-webkit-inner-spin-button,
::-webkit-outer-spin-button {
	height: auto;
}

/**
1. Correct the odd appearance in Chrome and Safari.
2. Correct the outline style in Safari.
*/

[type='search'] {
	-webkit-appearance: textfield; /* 1 */
	outline-offset: -2px; /* 2 */
}

/**
Remove the inner padding in Chrome and Safari on macOS.
*/

::-webkit-search-decoration {
	-webkit-appearance: none;
}

/**
1. Correct the inability to style clickable types in iOS and Safari.
2. Change font properties to 'inherit' in Safari.
*/

::-webkit-file-upload-button {
	-webkit-appearance: button; /* 1 */
	font: inherit; /* 2 */
}

/*
Interactive
===========
*/

/*
Add the correct display in Chrome and Safari.
*/

summary {
	display: list-item;
}

body {
    font-family: Verdana;
    /*Put page into central column*/
    margin: 0px;
    min-width: 320px;
    margin-inline: auto;
    width: min(calc(192px * 3), 100%);
    touch-action: pan-y;
}
article {
    margin: 0px 10px
}
#tab-content-code {
  max-width: 95%;
  margin-inline: auto;
}
p {
    text-align: left;
    margin: 0.2rem 0rem 0.35rem;
}
.cm-editor {
    outline: 2px solid grey;
    margin-top: 1rem;
    margin-bottom: 1rem;
}
button {
    font-size: 1.2rem;
    line-height: 1.5;
    text-wrap: nowrap;
}
canvas {
    margin-inline: auto;
    display: block;
    width: 100%;
    image-rendering: pixelated;
    touch-action: none;
}
#qr-canvas {
    outline: 2px solid grey;
    background: white;
    touch-action: auto;
}
nav div {
    display: flex;
    background-color: darkslategray;
    color: white;
}
nav div a {
    color: inherit;
    text-decoration: none;
    padding: 0.3rem 0.7rem;
}
table, th, td {
  border: 1px solid;
}
table {
    border-collapse: collapse;
}
.icon-button {
    font-size: 1.2rem;
    padding: 0.1rem;
    margin: 0;
    display: flex;
    align-items: center;
}
.icon-button img {
    width: 32px;
    height: 32px;
}
.arrow-button {
    font-size: 1.2rem;
    padding: 0.1rem;
    margin: 0;
    width: 32px;
    height: 32px;
    display: inline-flex;
    align-items: center;
    justify-content: center;
}
.small-button {
    padding: 0.1rem;
    margin: 0;
}
.tabs {
    display: flex;
    gap: 0.2em;
    margin: 0.2em 0;
}
div[tabHeader] {
    flex-grow: 1;
    text-align: center;
    padding: 0.2em;
    background-color: lightgrey;
    cursor: pointer;
}
div[tabHeader]:hover {
    background-color: lightblue;
}
div[tabHeader][selected] {
    background-color: blue;
    color: white;
}
.container-flex {
    display: flex;
    align-items: center;
}
.container-flex :last-child {
    margin-left: auto;
}
.hidden {
    display: none !important;
}
h1, h2, h3, h4, h5, h6 {
    margin: 0.5rem 0rem
}
#play-menu {
    display: flex;
    width: 100%;
    aspect-ratio: 3/4;
    justify-content: center;
    flex-direction: column;
    justify-content: start;
    padding: 0.6rem;
    background-color: black;
    color: white;
    box-sizing: border-box;
    gap: 0.8rem;
}
.play-bar {
    display: flex; 
    background-color: lightgrey; 
    align-items: center;
    padding: 0.2rem;
    gap: 0.3rem;
}
.play-bar > h1 {
    font-size: 125%;
    padding: 0 0 0 0.5em;
}
.flex-bar {
    display: flex; 
    flex-direction: row; 
    gap: 0.3rem; 
    width: 100%;
}
#game-errors {
    border: solid black 
}
details {
    margin: 0.3rem 0;
}
details summary {
    background-color: silver;
    font-size: 110%;
    padding: 0.2rem 1rem;
}
details ul {
    margin-top: 3.2px;
    margin-bottom: 8px;
    padding-left: 20px;
}
.function {
    font-weight: bold;
    margin-left: -0.7rem;
}
.function:not(:first-child) {
    margin-top: 1rem;
}
.indented {
    margin: 0;
    margin-left: 1rem;
    padding: 0;
}
.nobr { 
    white-space: nowrap;
}
.fields {
    margin-bottom: 8px;
}
.fields div {
    font-style: italic;
}
details summary {
    list-style: none;
}
details summary::-webkit-details-marker {
  display: none;
}
details summary::before {
    content: "+ ";
}
details[open] summary::before {
    content: "− ";
}
input, button {
    padding: 0;
}

/*# sourceMappingURL=c63c75f0adc31defd407.css.map*/