/* Styles relating to the typography (but not layout) of the main body. */
body
{
    font-family: 'document-text-font', serif;

    line-height: 1.6;
    font-size: 16px;
    color: #1C1C1C;
}
h1, h2, h3, h4, h5, h6
{
    font-family: 'document-heading-font', sans-serif;
    color: #b84b06;
    margin: 1em 0;
    line-height: 1.4;
}
h1
{
    margin-bottom: 1.5em;
}
h2, h3, h4
{
    margin-top: 2em;
}
a
{
    color: #b84b06;
}
a:visited
{
    color: #d47d0c;
}
p
{
    margin: 1em 0;
}
div.sections-highlight
{
    display: inline-block;
    border-radius: 20px;
    background-color: #dbd2c3;
    padding: 0.5em 1.5em;
    color: black;
    margin: 1em 0;
}
blockquote
{
    border-radius: 20px;
    background-color: #dbd2c3;
    padding: 0.5em 1.5em;
    color: black;
    margin: 2em 0;
}
hr
{
    border: 5px solid #e0e0e0;
    margin: 1.5em 0;
}
table
{
    border-collapse: collapse;
    margin-top: 1.5em;
    margin-bottom: 1.5em;
    max-width: 60em;
}
table td, table th
{
	border-top: 1px solid rgba(0, 0, 0, 0.3);
	padding: 5px;
    border-bottom: 1px solid rgba(0, 0, 0, 0.3);
}
table th
{
    text-align: left;
}
table td:not(:first-child), table th:not(:first-child)
{
	padding-left: 1.5em;
}
.highlight
{
    display: inline-block;
    border-radius: 5px;
    padding: 5px 10px;
    background-color: #4b4b4d;
    font-size: 20px;
    line-height: 1.2;
    color: #F9B700;
}
.highlight code, .highlight pre
{
    margin: 0;
    font-family: "terminal-font", sans-serif;
}

@media only screen and (max-width: 700px) {
    /* Bring the margins in for small displays: */
    h1, h2, h3, h4, h5, h6
    {
        margin: 0.5em 0;
    }
    h1
    {
        margin-bottom: 1em;
    }
    h2, h3, h4
    {
        margin-top: 1em;
    }
    div.sections-highlight
    {
        padding: 0.5em 1em;
    }
}