@font-face {
    font-family: 'Roboto';
    src: url('/static/fonts/Roboto-Light.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: 'Roboto-Italic';
    src: url('/static/fonts/Roboto-LightItalic.ttf') format('truetype');
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: 'Roboto-Bold';
    src: url('/static/fonts/Roboto-Bold.ttf') format('truetype');
    font-weight: normal;
    font-style: bold;
}

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

@media all {html {font-size: 20px;}}
@media all and (max-width:1260px){html {font-size: 20px;}}
@media all and (max-width:1000px){html {font-size: 20px;}}
@media all and (max-width:960px){html {font-size: 19px;}}
@media all and (max-width:920px){html {font-size: 18px;}}

body,html {
    width: 100%;
    height: 100%;
    padding: 0px;
    margin: 0px;
    font-family: 'Roboto', sans-serif;
    color: #000000;
    background-color: #fff;
}

/* 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;
}

#header .logo { padding: 60px 0px 30px 0px; margin: 0px; text-align: center; }
#header .title { padding: 5px 5px 0px 5px; }

#header .menu { padding: 5px 5px 0px 5px; }
#header .menu ul { display: inline-block; padding: 0px; margin: 0px; }
#header .menu li {
    display: inline-block;
    list-style-type: none;
    margin: 0px;
    margin: 0px 10px 0px 0px;
    padding: .5em 1em 0px 1em;
    -webkit-border-radius: 8px 8px 0px 0px;
    -moz-border-radius: 8px 8px 0px 0px;
    border-radius: 8px 8px 0px 0px;
    text-decoration: none;
}

#header .menu li.active {
    background: #ffffff;
    padding: .5em 1em;
}

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

#header .menu a {
    color: #aaaaaa;
    border: none;
}
#header .menu a:hover { color: #fff; }

h1 {
    font-family: 'Roboto-Bold';
    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; }
#footer { width: 100% font-size: small; text-align: center; }

#workarea {
    border: solid 2px #000000;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
    border-radius: 8px;
    background-image: url('/static/images/grid.png');
    background-repeat: repeat;
    background-color: #eeeeee;
    width: 100%;
    text-align: center;
}

ul.publications li {
    list-style: none;
}
ul.publications li div.title {
    font-weight: bold;
}
ul.publications li {
    margin-bottom: 2rem;
}
ul.publications li.year:before {
    color: #93a1a1;
    content: attr(data-year);
    position: absolute;
    margin-left: -4em;
    display: block;
    text-align: right;
    padding-left: .5em;
}

div.figure {
    text-align: center;
    font-style: italic;
    text-indent: 0;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
    border-radius: 8px;
    margin: 0;
    overflow-x: auto;
}

div.inline-figure {
    text-align: center;
    font-style: italic;
    font-size: smaller;
    text-indent: 0;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
    border-radius: 8px;
    border: solid thin #cccccc;
    margin: 0.5em;
    padding: 0.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;
}

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;
}

code.gwl span.syntax-line, code.gwl span.syntax-comment {
    counter-increment: line;
}

code.gwl span.syntax-line:before, code.gwl span.syntax-comment:before{
    color: #93a1a1;
    content: counter(line) '\A0';
    position: absolute;
    left: -2.5em;
    display: inline-block;
    text-align: right;
    width: 1.5em;
    padding-left: .5em;
    background: #eee8d5;
}

div.action-button {
    display: inline-block;
    font-size: 28px;
    font-weight: bold;
    text-transform: uppercase;
    background: #ffbf2d;
    padding: 8px 14px 8px 14px;
    margin: 1em;
    -webkit-border-radius: 8px;
    -moz-border-radius: 8px;
    border-radius: 8px;
}

div.action-button a {
    text-decoration: none;
}

div.action-button a:hover {
    color: #111111;
}

div.action-button:hover {
    background: #f6bf57;
}

.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';
}

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