body {
    margin: 40px auto;
    line-height: 1.3;
    color: #505050;
    font-size: 19px;
    background-color: #eeeeee;
    font-family: serif;
    max-width: 650px;
}

h1, h2, h3 {
    line-height: 1.2;
    padding-top: 1ex;
}

p {
    text-align: justify;
    /* padding-bottom: 1.5ex; */
}

#navbar a {
    text-decoration: none;
    color: #777777;
    padding: 20px;
    font-family: sans-serif;
}

#navbar {
    text-align: center;
}

#marcher-output {
    font-family: monospace;
    font-size: 8pt;
    white-space: pre;
}

.figure{
    text-align: center;
    padding-top: 30px;
    padding-bottom: 30px;
}

.figure p {
    text-align: center;
}

a {
    color: #888888
}

a:visited {
    color: #888888;
}

.codeblock {
    font-size: 14px;
}

.command-line {
    font-size: 10pt;
    font-family: monospace;
}

.rust-circle {
    color: #e6b99a;
}

.kotlin-circle {
    color: #ffd694;
}

.js-circle {
    color: #bfe8ae;
}

.java-circle {
    color: #bbd2f2;
}

.language-tag {
    color: #505050;
    font-size: 15px;
    font-family: serif;
    font-weight: normal;
}

div.language-tag {
    padding-bottom: 5px;
}

.badge {
    text-decoration: none;
}

.project-link{
    margin-bottom: 0.5ex;
}

.codeblock {
    border:solid 1px;
}

.codeblock > pre {
    padding: 5px;
    overflow-x: auto;
    white-space: pre-wrap;
    white-space: -moz-pre-wrap;
    white-space: -pre-wrap;
    white-space: -o-pre-wrap;
    word-wrap: break-word;
}

.code-keyword {
    font-weight: bold;
}