@font-face {
    font-family: 'Vollkorn Regular';
    src: url('Vollkorn-Regular.woff2') format('woff2');
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: 'Vollkorn Bold';
    src: url('Vollkorn-Bold.woff2') format('woff2');
    font-weight: bold;
    font-style: normal;
}
@font-face {
    font-family: 'FiraMono';
    src: url('FiraMono-Regular.ttf') format('truetype');
    font-weight: normal;
    font-style: bold;
}

html, body {
    font-family: "Vollkorn Regular", serif;
    width: 100%;
    height: 100%;
    padding: 0px;
    margin: 0px;
    color: #333;
    background: #fcfbf3;
}

@media all {html {font-size: 24px;}}
@media all and (max-width:1000px){html {font-size: 24px;}}
@media all and (max-width:960px){html {font-size: 23px;}}
@media all and (max-width:920px){html {font-size: 22px;}}
@media all and (max-width:880px){html {font-size: 21px;}}
@media all and (max-width:840px){html {font-size: 20px;}}
@media all and (max-width:800px){html {font-size: 19px;}}
@media all and (max-width:760px){html {font-size: 18px;}}

/* Arrange to have between 40 and 70 characters per line.  */
.width-control {
    max-width: 45em;
    width: 65%;
}

@media all and (max-width: 760px) { .width-control { width: 90%; } };
@media all and (max-width: 1024px) { .width-control { width: 90%; } };
@media all and (min-width: 1024px) { .width-control { max-width: 800px; } };

#wrapper {
    width: 100%;
    margin: auto;
    padding: 0px;
    margin: 0px auto auto auto;
}

#header { background: #333; }
#header-inner {
    margin: auto;
    padding: 0;
}

a {
    color: #000000;
    text-decoration: none;
    border-style: none none dashed none;
    border-width: thin;
    border-color: #ffbf2d;
}
a:hover { color: #555555; }

h1 {
    font-family: "Vollkorn Bold", serif;
    font-weight: bold;
    text-align: center;
    margin: 1.5em 3em 1em;
}

#content {
    margin: auto;
    padding: 0;
    padding-top: 1rem;
    line-height: 1.5;
    text-align: justify;
    text-justify: inter-word;
}

#content p {
    padding: 0px;
    margin-block-start: 1em;
    margin-block-end: 1em;
    margin-inline-start: 0;
    margin-inline-end: 0;
}
#content h2 {
    margin: 0px;
    padding-top: 5px;
    width: 100%;
    counter-increment: heading3;
}

#content h2:before {
    color: #93a1a1;
    content: counter(heading3);
    position: absolute;
    margin-left: -2em;
    display: block;
    text-align: right;
    padding-left: .5em;
}

@media all and (max-width: 760px) { #content h2:before { display: none; } };

#content ul { padding: 0px 0px 0px 10px; margin: 0px 0px 0px 10px; }
#content li { line-height: 1.5em; }

pre {
    background-color: #eee8d5; /* like line numbers */
    text-align: left;
    font-family: 'FiraMono', monospace;
    font-style: normal;
    padding: 0px;
    counter-reset: line;
    margin-right: 3em; /* compensate for line numbers */
}

code, pre.example {
    font-family: 'FiraMono', monospace;
    font-style: normal;
    font-size: 0.9em;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
    border-radius: 8px;
    background-color: #fdf6e3;
}

var {
    font-family: 'FiraMono', monospace;
    font-style: normal;
    font-size: 0.9em;
}

pre code {
    left: 3em;
    padding-top: 1em;
    padding-bottom: 1em;
    padding-left: .5em;
    position: relative;
    display: block;
    -webkit-border-radius: 0px;
    -moz-border-radius: 0px;
    border-radius: 0px;
}

p code, dt code {
    padding: 0.3em;
}

.syntax-open { color: #657b83; }
.syntax-close { color: #657b83; }
.syntax-string { color: #dc322f; }
.syntax-symbol { color: #657b83; }
.syntax-special { color: #002b36; font-weight: bold; }
.syntax-gwl-field { color: #859900; font-weight: bold; }
.syntax-comment { color: #93a1a1; }
.syntax-placeholder { color: #268bd2; }
.syntax-function { color: #586e75; font-style: italic; }

img { border: 0; outline: 0; }


select {
    margin-bottom: 1rem;
}

/*****************************/
/* Manual styles             */
/*****************************/
hr {
    border: 0;
    height: 1px;
    background-image: linear-gradient(to right, rgba(0, 0, 0, 0), rgba(0, 0, 0, 0.75), rgba(0, 0, 0, 0));
}

#content h2.chapter {
    margin-top: 3em;
}

pre.menu-comment, pre.display {
    background: none;
}

/* do not count the ToC */
#content h2.contents-heading {
    counter-set: heading3;
}
#content h2.contents-heading:before {
    content: "";
}

div.example {
    background: none;
    margin: 0;
}
pre.example {
    padding: 1em;
}

.symbol-definition {
    font-weight: normal;
    background: #eee;
    margin: 0;
    padding: .5em;
    -webkit-border-radius: 8px 8px 0 0;
    -moz-border-radius: 8px 8px 0 0;
    border-radius: 8px 8px 0 0;
}

.symbol-definition-category { 	/* first argument to @deffn etc. */
    color: #333;
    margin-right: 10px;
    padding: 5px;
}

.symbol-definition-prototype { /* remaining arguments to @deffn etc. */
    font-family: 'FiraMono', monospace;
    font-style: normal;
    font-size: 0.9em;
}

.symbol-definition + dd {
    background: #fafafa;
    margin: 0;
    padding: .5em 3% 1em 3%;
}