body {
    font-size: medium;
}

table, th, td {
    border: 1px solid rgb(201, 201, 201);
    border-collapse: collapse;
}

th, td {
    text-align: left;
    vertical-align: top;
    padding: 2px;
}

.userinfo, .creditsinfo {
    font-family: Arial, Helvetica, sans-serif;
    display: block;
    float: right;
    text-align: right;
    margin-bottom: 10px;
}

.navigation {
    clear: both;
    width: 100%;
}

.navigation a {
    text-decoration: none;
}

.navitem, .navitem-selected, .navrest, .navitemr {
    font-family: Arial, Helvetica, sans-serif;
    display: block;
    float: left;
    border-style: solid;
    border-width: 1px;
    margin-right: 1px;
    padding: 10px;
    border-top-right-radius: 15px;
}

.navitem-selected {
    border-bottom: none;
    box-shadow: 7px -7px 7px gray;
}

.navitemr {
    float: right;
    border-top: none;
    border-left: none;
    border-right: none;
}

.navrest {
    border-top: none;
    border-left: none;
    border-right: none;
    width: fit-content;
}

.content {
    font-family: monospace;
    padding: 15px;
    clear: both;
}

.headline {
    clear: both;
    margin-bottom: 15px;
}

.hl_label {
    font-size: medium;
}

.hl_name {
    font-size: large;
}

.countrylist {
    min-width: 80%;
    margin-left: auto;
    margin-right: auto;
}

.tvalue, .tlink, .tposition {
    text-align: right;
}

.tcountry {
    text-align: left;
}

.highlightrow {
    background-color: gold;
}

.oddrow {
    background-color: lightgrey;
}

.evenrow {
    background-color: white;
}

#varlist {
    width: 80ch;
}

.iframespace {
    height: 80%;
}

iframe.repop {
    display: block;
    width: 90%;
    height: 80%;
    margin-left: auto;
    margin-right: auto;
}

.textinput {
    width: 97%;
    background-color: rgb(221, 240, 221);
    border: 1px solid gray;
}

h2 {
    font-size: large;
}

h3 {
    display: block;
    float: left;
    font-size: large;
}

h3 a {
    text-decoration: none;
}

.logininfo {
    display: block;
    float: right;
}

.help-block {
    color: crimson;
}

.wrapper {
    display: block;
    width: 80%;
    margin-left: auto;
    margin-right: auto;
}

.wrapper div {
    margin-top: 20px;
    margin-bottom: 20px;
}

.form-group label {
    display: block;
    float: left;
    width: 180px;
}