* {
    margin: 0px;
    padding: 0px;
}

body {
    font-family: sans-serif;
}

main, pre {
    max-width: 40em;
    margin-left: auto;
    margin-right: auto;
}

pre {
    background-color: #abc0d0;
    border-left: 4px solid #123040;
    padding: 0.5em;
    max-width: 38em;
    margin-left: auto;
    margin-right: auto;
}

p, ul, h3 {
    margin: 1em;
    text-align: justify;
}

ul {
    margin-left: 2.5em;
}

header {
    background-color: #abc0d0;
    border-bottom: 4px solid #123040;
}

h1 {
    color: #123040;
    padding: 0.3em;
    padding-left: 1em;
}

nav{
    display: flex;
    margin-left: 0.8em;
}

a.navbar{
    list-style-type: none;
    padding: 0.2em;
    border: 2px solid #abc0d0;
    margin: 0.1em;
    color: #123040;
    text-decoration: none;
}

a.navbar#current{
    border-bottom: 2px solid #123040;
}

a.navbar:hover{
    
    border: 2px solid #123040;
}