/* --- Stylesheet -----*/
/* --- #id .class -----*/

/* ------- Container ------- */
#container {
    margin: 5px;
}

#container pre {
  padding-left:50pt;
}

/* ------- Header ------- */
#header {
    padding: 5px;
    clear: left;
}

/* ------- Footer ------- */
#footer {
    padding: 0.5em;
    border-top: 1px solid gray;
    clear: left;
    text-align: center;
}

/* ------- Menu ------- */
#nav {
    clear: left;
    text-align: center;
    background-color: #dddddd;
}

#nav ul {
    display: inline-block;
    list-style-type: none;
    margin: 0;
    padding: 0;
    overflow: hidden;
}

#nav li {
    float: left;
}

#nav li a {
    display: block;
    color: #000;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
}

#nav li a.active {
    background-color: #4CAF50;
    color: white;
}

#nav li a:hover:not(.active) {
    background-color: #555;
    color: white;
}

/* ------- Contents ------- */
#contents {
    clear: left;
    padding: 1em;
}

/* ------- End ------- */