@font-face {
  font-family: "Inter";
  src: url("fonts/Inter-Light.woff2") format("woff2");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: "Inter";
  src: url("fonts/Inter-Medium.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
}

@font-face {
  font-family: "Martian";
  src: url("fonts/MartianMono-StdxLt.woff2") format("woff2");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: "Martian";
  src: url("fonts/MartianMono-StdLt.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
}

body {
  color: #222;
  background-color: white;
  font-family: Inter, Verdana, Helvetica, sans-serif;
  font-size: 9.5pt;
  margin: 1cm;
}

h1 {
  text-align: center;
}

h1, h2, h3, h4, h5, h6 {
  color: black;
  background-color: inherit;
  clear: both;
  font-family: Martian, monaco, monospace;
  font-weight: bold;
  margin-top: 5mm;
}

h4, h5, h6 {
  font-size: 10pt;
}

div.servertable {
  width: 100%;
  overflow: auto;
  white-space: nowrap;
}

table {
  font-size: inherit;
}

table, th, td {
  border: 1px solid black;
  border-collapse: collapse;
}

td, th {
  padding: 5px;
  vertical-align: top;
}

ul {
  max-width: 1000px;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

img {
  vertical-align: middle;
}

hr {
  background: #ccc;
  border: 0;
  height: 1px;
  margin-left: -5px;
  margin-right: -5px;
  margin-top: 20px;
  margin-bottom: 15px;
}

a {
  color: #222;
  text-decoration: none;
  background-color: transparent;
}

a:hover {
  color: #666;
}

a:active {
  color: #666;
}

a.button {
  font-size: 10pt;
  padding: 2px 10px;
  margin: 3px;
  background-color: #666;
  color: #fff;
  font-weight: bold;
  display: inline-block;
}

a.button:hover {
  background-color: #222;
}

strong {
  color: black;
  font-weight: bold;
}

.hidden {
  display: none;
}

.visible {
  display: inline;
}

#map {
  height: 400px;
  padding-top: 5px;
  margin-top: 15px;
  margin-bottom: 15px;
  margin-right: auto;
  margin-left: auto;
  text-align: center;
  background: #09baa2;
}

p {
  text-align: center;
}

.alignleft {
  float: left;
}

.alignright {
  float: right;
  margin-right: 2ex;
}

.clearalign {
  clear: both;
}

.tab {
  border-radius: 0 10px 10px 10px;
  border-color: #bbb;
  border-style: solid;
  border-width: 1px;
  padding: 0.3em 1em 0 1em;
  background: #eee;
  width: 1000px;
}

.resultbox {
  border-radius: 10px;
  border-color: #bbb;
  border-style: solid;
  border-width: 1px;
  padding: 0em 1em;
  margin-top: 2ex;
  background: #eee;
  width: 1000px;
}

textarea {
  width: 980px;
}

input.textfield {
  width: 980px;
  margin-bottom: 5px;
}

select {
  width: 980px;
}

.separator {
  margin-left: 10px;
  font-size: 0px;
}