@import url('variables.css');

html, body {
  height: 97%;
  font-size: 10.67px;
}


body {
  height: 100%;
  width: 100%;
  font-family: var(--font-family, Verdana, Arial, Helvetica, sans-serif);
  font-size: clamp(11px, calc(24px - 1vw), 24px); /* Shrinks font from 24px as viewport widens by subtracting 1% of width (1vw), down to a minimum of 11px */
  margin: 0;
  color: var(--color-dark, #333);
  text-align: center;
  background-color: var(--color-light, #e8e8e8);
}

#webkit_body {
  background-color: var(--color-light, #e8e8e8);
}

a:link, a:visited {
  font-weight: bold;
  color: var(--color-secondary, #00488C);
  text-decoration: none;
}

a:hover {
  font-weight: bold;
  color:#0066CC;
  text-decoration: none;
  position: relative;
  top: 1px;
  left: 1px;
}

a.inactive:link, a.inactive:visited {
  text-decoration: line-through;
}

a.inactive:hover {
  text-decoration: line-through;
}

img {
  border: 0;
}

div.clear {
  clear: both;
  height: 1px;
}

#busy {
  padding: var(--spacing-small, 6px);
  text-align: center;
  position: absolute;
  width: 20%;
  left: 40%;
}

.bold {
  font-weight: bold;
}

table {
  font-size: var(--font-size-base, 8pt);
}

th {
  text-align: left;
  font-weight: bold;
  font-size: var(--font-size-base, 8pt);
}

td {
  text-align: left;
}

div.debuginfo_container {
  border: 1px dotted black;
  background-color: yellow;
  text-align: left;
}