#banner {
    font-family:arial;
    font-size:50pt;
    color:white;
    background-color:#0e46a0;
    padding:15px;
    margin:0;
}

#header {
    margin:0;
    padding:0;
    overflow:hidden;
    background-color:#0d2b5b;
    display: flex;
}

.nav {
    display:block;
    color:white;
    text-align: center;
    text-decoration:None; 
    font-size:20pt;
    font-family:arial;
    padding:10px;
}

a.nav {
    cursor: pointer;
}

a.nav:hover {
    background-color:#1950a8;
}

a.active {
    background-color:#061835;
}

span.nav {
    margin-left: auto;
}

.login_form {
    width: 500px;
}

.login_form div {
    position: relative;
    padding-top: 10px;
}

.login_box {
    width: 300px;
    height: 35px;
    margin: 0;
    font-family:arial;
    font-size:20pt;
    position: absolute;
    right: 0;
}

.login_button {
    width: 100%;
}

#login {
    margin:25px;
    font-size:25pt;
    font-family:arial;
}

#register {
    margin:25px;
    font-size:25pt;
    font-family:arial;
}

input.login {
    width: 200px;
    height: 35px;
    margin: 0;
    font-family:arial;
    font-size:20pt;
}   

input.login2 {
    font-size:20pt;
    width:100%;
}

pre.empty {
    margin:0;
}

header {
    margin: 0;
    padding: 0;
    position: sticky;
    position: -webkit-sticky;
    top: 0;
    left: 0;
}

body {
    margin:0;
}

* {
    -webkit-box-sizing: border-box;
       -moz-box-sizing: border-box;
            box-sizing: border-box;
}