@font-face {
    font-family: 'Palatino';
    src: url(Palatino.ttf);
}

:root {
    --bgcolour: #222;
}

a.invis {
    color: white;
    text-decoration: none;
}

div {
    border-radius: 10px;
}

body {
    font-family: Arial, Helvetica, sans-serif;
    background: var(--bgcolour);
    color: white;
    margin: 0px;
}

button {
    border: 1px solid white;
    background: #333;
    color: white;
    padding: 0.5em 2em 0.5em;
    font-size: 125%;
}

button:hover {
    background: white;
    color: #333;
}

button:focus {
    opacity: 50%
}

.shell {
    transition: 0.5s;
    background: #333;
    color: #FFF;
    padding: 1em;
    margin: 5px;
    box-shadow: 5px 5px 5px #000;
}

div.nav {
    position: sticky;
    top: 0;
    /* display: grid; */
    /* grid-area: "nav"; */
    display: flex;
    height: 35px;
}

div.control {
    position: sticky;
    top: 0;
    /* grid-area: "control"; */
    /* display: flex; */
    height: 60px;
    text-align: center;
}

.shell:hover {
    box-shadow: 0px 0px 50px #f73;
    transition: 0.5s;
}

table.prettytable {
    border: 1px solid white;
    border-collapse: collapse;
    padding: 0.5em;
}

table.prettytable th {
    font-weight: 700;
    background-color: #444;
}

table.prettytable td, th {
    border: 1px solid white;
    padding: 0.333em;
}

div.frame {
    border: 1px solid white;
    border-radius: 0px;
    padding: 10px;
    margin-top: 8px;
    margin-bottom: 5px;
}

div.frame .p {
    position: relative;
    top: -8px;
    margin: 0;
    padding: 0;
}

div.frame span.heading {
    float: none;
    background-color: var(--bgcolour);
    position: relative;
    /* top: -18px; */
    top: -1.15em;
    padding: 0px 0.2em 0px 0.2em;
    font-weight: 700;
}

.shell div.frame span.heading {
    background-color: #333;
}

form.prettyform input {
    width: 185px;
}

.cyrill { font-family: 'Palatino'; }