@font-face {
    font-family: "Ubuntu Mono";
    src: url(/resources/fonts/UbuntuMono-Regular.ttf) format("truetype");
}

a.target { 
    display: block;
    position: relative;
    top: -175px;
    visibility: hidden;
}

body{
    margin: 0px;
    padding: 5px;
    font-family: "Ubuntu Mono";
    background-color: black;
    color: lime;
}

div.nav {
    background-color: black;
    position: fixed;
    top: 0px;
    left: 0px;
    width: 100%;
    padding: 10px;
    z-index: 999;
}

form {
    max-width: 450px;
}

form input, form textarea {
    font-family: "Ubuntu Mono";
    font-size: 16px;
    display: block;
    padding: 5px;
    margin-bottom: 5px;
    border-radius: 3px;
    width: 100%;
    resize: none;
    border: 1px solid lime;
    background-color: black;
    color: lime;
}

h1 {
    margin-top: 75px;
}

li {
    float: left;
}

li a {
    display: block;
    color: lime;
    text-align: center;
    padding: 6px;
    text-decoration: underline;
}

li a:first-of-type{
    padding-left: 0;
}


ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    overflow: hidden;
}