html {
  height: 100%;
}

body {
  background-color: var(--background);
  font-family: sans-serif;
  color: black;
  margin: 0;
}

p {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

h1, h2, h3, h4, h5 {
  margin: 0;
  color: var(--heading);
  text-align: center;
}

h1 { font-size: 200%; }
h2 { font-size: 175%; }
h3 { font-size: 150%; }
h4 { font-size: 120%; }
h5 { font-size: 110%; }

a { border-bottom: 1px dashed; text-decoration: none; }
a:link { color: var(--link); }
a:visited { color: var(--link); }
a:hover { color: var(--hover); border-bottom: 1px solid red; }

*[onclick] { cursor: pointer; }

pre {
  margin: 0;
}

li {
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

td {
  border: 1px solid black;
  padding-left: 0.3em;
  padding-right: 0.3em;
  padding-top: 0.14em;
  padding-bottom: 0.14em;
}

td.center > img {
  display: block;
  margin: auto;
}

label {
  text-align: right;
  margin-right: 0.5em;
}

input, select, textarea, button {
  background-color: var(--input);
  padding: 1px;
  color: black;
  border: 1px solid black;
  font-size: 100%;
  font-family: sans-serif;
}

input[type="checkbox"] {
  appearance: none;
  height: 2ex;
  width: 2ex;
  vertical-align: -0.6ex;
  box-shadow: inset 0 0 0 0.35ex var(--input);
}

input[type="checkbox"]:checked {
  background-color: black;
}

input[type="checkbox"][readonly] {
  box-shadow: inset 0 0 0 0.35ex var(--readonly);
}

input[type="radio"] {
  appearance: none;
  height: 2ex;
  width: 2ex;
  vertical-align: -0.1ex;
  border-radius: 1ex;
  box-shadow: inset 0 0 0 0.35ex var(--input);
}

input[type="radio"]:checked {
  background-color: black;
}

input[type="radio"][readonly] {
  box-shadow: inset 0 0 0 0.35ex var(--readonly);
}

input[readonly], textarea[readonly], button[disabled] {
  background-color: var(--readonly);
}

form.submitted input[type="submit"],
form.submitted input[type="button"],
form.submitted button {
  background-color: var(--readonly);
}

input[type="submit"], input[type="button"], button {
  font-size: 110%;
  border-radius: 10px;
  padding-left: 5px;
  padding-right: 5px;
}

button + button {
  margin-left: 0.4em;
}

button > svg {
  width: 1rem;
  height: 1rem;
  display: block;
}

button.iconbutton {
  border-radius: 6px;
  padding: 4px;
  display: block;
}

.center { text-align: center; }
.centerblock { margin-left: auto; margin-right: auto; border: 0; }
.empty { border: none; }
.outside { border: none; padding: 0; }
.nowrap { white-space: nowrap; }
.number { text-align: right; }
.rednumber { color: red; text-align: right; }
.redtext { color: red; }
.noborder { border: none; }
.imglink { border: none; }
.imglink:hover { border: none; }
.clear { clear: both; }
.hidden { display: none; }
.invisible { visibility: hidden; }
.highlight { color: red; font-weight: bold; }
.withsubtitle { margin-bottom: 0; }
.subtitle { font-size: 85%; text-align: center; }
.hint { font-size: 85%; text-align: center; font-style: italic; }
.table_wrap { width: 100%; overflow-x: auto; }
.debug { position: relative; z-index: 1; background-color: white; }

.panel {
  background-color: var(--panel);
  border: 1px solid var(--border);
  margin-bottom: 1ex;
  padding-top: 0.2ex;
  text-align: center;
}

#popup {
  background-color: var(--popup);
}