/*
 * Create font families
*/
@font-face {
    font-family: "primary";
    src: url("/static/fonts/primary.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "secondary";
    src: url("/static/fonts/secondary.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}

/*
 * Basic page information
*/
* {
    font-family: "primary", monospace;
}

/*
 * Markup information
*/
code {
    background-color: black;
    color: white;
    padding: 4px;
    border: 2px solid darkgray;
    border-radius: 8px;
    font-family: monospace;
}

/*
 * Colors
*/
:root {
    --topbar-color: #279AF1;
    --topbar-selected: #55b0f6;
    --bg-color: #2070ae;
}

/*
 * Defaults
*/
body {
    background-color: var(--bg-color);
}

/*
 * Positioning
*/
#area {
    background-color: white;
    color: black;
    width: 60%;
    position: absolute;
    left: 20%;
    top: 20%;
    border: 4px solid black;
}

#area > #content {
    padding: 20px;
}

/*
 * Handle the basic topbar
*/
#nav {
    width: 100%;
    height: 30px;
    background-color: var(--topbar-color);
    border-bottom: 4px solid var(--bg-color);
}
#nav > a {
    padding-left: 10px;
    padding-right: 10px;
    margin-left: 0px;
    margin-right: 0px;
    display: inline-block;
    line-height: 30px;
    height: 100%;
    font-size: large;
    background-color: var(--topbar-color);
    border: none;
    color: white;
}
#nav > a:hover {
    background-color: var(--topbar-selected);
}

/*
 * Topbar stuff
*/
#topbar > #title {
    padding-left: 20px;
}

/*
 * Format the title
*/
#title {
    font-size: x-large !important;
    border-bottom: 4px solid gray;
}