* {
    font-family: Helvetica Neue, Helvetica, Arial, sans-serif;
}
body {
    max-width: 50em;
    margin: 0 auto;
    color: #111;
}

pre, code {
    font-family: Monaco, Courier New, monospace;
    font-size: 12px;
}

h1 {
    font-size: 30px;
    font-weight: bold;
    letter-spacing: -1px;
    margin-bottom: -5px;
}
h1 code {
    font-size: 30px;
}

h2 {
    color: rgb(43,105,145);
    font-weight: bold;
    margin-bottom: -5px;
}
h2 code {
    font-size: 22px;
}

h3 {
    /* color: rgb(43,105,145); */
    font-weight: bold;
    margin-bottom: -5px;
}
h3 code {
    font-size: 16px;
}

a {
    color: blue;
    text-decoration: underline;
}
a:visited {
    color: navy;
}
a:hover {
    text-decoration: underline;
}

code {
    white-space: pre;
}

pre {
    border-radius: 10px;
    -webkit-border-radius: 10px;
    -moz-border-radius: 10px;
    box-shadow: 0px 2px 8px rgba(0, 0, 0, 0.3);
    -webkit-box-shadow: 0px 2px 8px rgba(0, 0, 0, 0.3);
    -moz-box-shadow: 0px 2px 8px rgba(0, 0, 0, 0.3);
    border-width: 1px;
    border-color: rgb(16,48,0);
    border-style: solid;
    padding: 0.6em;
    padding-left: 1em;
    margin-left: 5%;
    margin-right: 8%;
    overflow: auto;
    color: rgb(255,223,0);
    background-color: rgb(53,46,0);
}

p, li {
    font-size: 14px;
    line-height: 18px;
}

/* For a navigation menu */
#bar ul {
    list-style-type: none;
    margin: 0;
    /* padding: 0; */
    overflow: hidden;
    /* border: 1px solid black; */
    /* background-color: #f0f0f0; */
}

#bar li {
    /* border-right: 1px solid black; */
    display: inline;
    float: left;
}

#bar li a {
    display: block;
    color: black;
    text-align: center;
    padding: 10px 16px;
    text-decoration: none;
    background-color: #f0f0f0;
    border: 1px solid black;
    border-right: none;
}

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

#bar li:last-child {
    border-right: 1px solid black;
}

#bar .active {
    color: black;
    background-color: #4CAF50;
}