@charset "UTF-8";

/*fonts*/

/*TeX Gyre Pagella*/

@font-face {
    font-family: 'texgyrepagellaregular';
    src: url('../../fonts/texgyrepagella-regular-webfont.eot');
    src: local('TeXGyrePagella'),
         url('../../fonts/texgyrepagella-regular-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/texgyrepagella-regular-webfont.woff') format('woff'),
         url('../../fonts/texgyrepagella-regular-webfont.ttf') format('truetype'),
         url('../../fonts/texgyrepagella-regular-webfont.svg#texgyrepagellaregular') format('svg');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
    }

@font-face {
    font-family: 'texgyrepagellaitalic';
    src: url('../../fonts/texgyrepagella-italic-webfont.eot');
    src: local('TeXGyrePagella Italic'), local('TeXGyrePagella-Italic'),
         url('../../fonts/texgyrepagella-italic-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/texgyrepagella-italic-webfont.woff') format('woff'),
         url('../../fonts/texgyrepagella-italic-webfont.ttf') format('truetype'),
         url('../../fonts/texgyrepagella-italic-webfont.svg#texgyrepagellaitalic') format('svg');
    font-weight: normal;
    font-style: italic;
    font-display: swap;
    }

@font-face {
    font-family: 'texgyrepagellabold';
    src: url('../../fonts/texgyrepagella-bold-webfont.eot');
    src: local('TeXGyrePagella Bold'), local('TeXGyrePagella-Bold'),
         url('../../fonts/texgyrepagella-bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/texgyrepagella-bold-webfont.woff') format('woff'),
         url('../../fonts/texgyrepagella-bold-webfont.ttf') format('truetype'),
         url('../../fonts/texgyrepagella-bold-webfont.svg#texgyrepagellabold') format('svg');
    font-weight: bold;
    font-style: normal;
    font-display: swap;
    }

@font-face {
    font-family: 'texgyrepagellabolditalic';
    src: url('../../fonts/texgyrepagella-bolditalic-webfont.eot');
    src: local('TeXGyrePagella BoldItalic'), local('TeXGyrePagella-BoldItalic'),
         url('../../fonts/texgyrepagella-bolditalic-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/texgyrepagella-bolditalic-webfont.woff') format('woff'),
         url('../../fonts/texgyrepagella-bolditalic-webfont.ttf') format('truetype'),
         url('../../fonts/texgyrepagella-bolditalic-webfont.svg#texgyrepagellabold_italic') format('svg');
    font-weight: bold;
    font-style: italic;
    font-display: swap;
    }


/*Davys*/

@font-face {
    font-family: 'davysregular';
    src: url('../../fonts/DavysDingbats-webfont.woff') format('woff'),
         local('Davys Regular'), local('Davys-Regular');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
    }


/*DejaVu Sans Mono*/

@font-face {
    font-family: 'dejavu_sans_monobook';
    src: url('../../fonts/DejaVuSansMono-webfont.eot');
    src: local('DejaVu Sans Mono'), local('DejaVu-Sans-Mono'),
         url('../../fonts/DejaVuSansMono-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/DejaVuSansMono-webfont.woff') format('woff'),
         url('../../fonts/DejaVuSansMono-webfont.ttf') format('truetype'),
         url('../../fonts/DejaVuSansMono-webfont.svg#dejavu_sans_monobook') format('svg');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
    }

@font-face {
    font-family: 'dejavu_sans_monobold';
    src: url('../../fonts/DejaVuSansMono-Bold-webfont.eot');
    src: local('DejaVu Sans Mono Bold'), local('DejaVu-Sans-Mono-Bold'),
         url('../../fonts/DejaVuSansMono-Bold-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/DejaVuSansMono-Bold-webfont.woff') format('woff'),
         url('../../fonts/DejaVuSansMono-Bold-webfont.ttf') format('truetype'),
         url('../../fonts/DejaVuSansMono-Bold-webfont.svg#dejavu_sans_monobold') format('svg');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
    }


/*DejaVu Serif Book*/

@font-face {
    font-family: 'dejavu_serifbook';
    src: url('../../fonts/DejaVuSerif-webfont.eot');
    src: local('DejaVu Serif'), local('DejaVu-Serif'),
         url('../../fonts/DejaVuSerif-webfont.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/DejaVuSerif-webfont.woff') format('woff'),
         url('../../fonts/DejaVuSerif-webfont.ttf') format('truetype'),
         url('../../fonts/DejaVuSerif-webfont.svg#dejavu_serifbook') format('svg');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
    }


/*Euro*/

@font-face {
    font-family: 'euroregular';
    src: url('../../fonts/euro.eot');
    src: local('Euro'),
         url('../../fonts/euro.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/euro.woff') format('woff'),
         url('../../fonts/euro.ttf') format('truetype'),
         url('../../fonts/euro.svg#euroregular') format('svg');
    font-weight: normal;
    font-style: normal;
    unicode-range: U+20AC;
    font-display: swap;
    }


/*STIXGeneral*/

@font-face {
    font-family: 'stixgeneralregular';
    src: url('../../fonts/stixgeneral-regular.eot');
    src: local('STIXGeneral'), local('STIXGeneral-Regular'),
         url('../../fonts/stixgeneral-regular.eot?#iefix') format('embedded-opentype'),
         url('../../fonts/stixgeneral-regular.woff2') format('woff2'),
         url('../../fonts/stixgeneral-regular.woff') format('woff'),
         url('../../fonts/stixgeneral-regular.ttf') format('truetype'),
         url('../../fonts/stixgeneral-regular.svg#webfontregular') format('svg');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
    }


/*normalize*/


/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */

/* Document
   ========================================================================== */

/**
 * 1. Correct the line height in all browsers.
 * 2. Prevent adjustments of font size after orientation changes in iOS.
 */

html {
  line-height: 1.15; /* 1 */
  -webkit-text-size-adjust: 100%; /* 2 */
}

/* Sections
   ========================================================================== */

/**
 * Remove the margin in all browsers.
 */

body {
  margin: 0;
}

/**
 * Render the `main` element consistently in IE.
 */

main {
  display: block;
}

/**
 * Correct the font size and margin on `h1` elements within `section` and
 * `article` contexts in Chrome, Firefox, and Safari.
 */

h1 {
  font-size: 2em;
  margin: 0.67em 0;
}

/* Grouping content
   ========================================================================== */

/**
 * 1. Add the correct box sizing in Firefox.
 * 2. Show the overflow in Edge and IE.
 */

hr {
  box-sizing: content-box; /* 1 */
  height: 0; /* 1 */
  overflow: visible; /* 2 */
}

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */

pre {
  font-family: monospace, monospace; /* 1 */
  font-size: 1em; /* 2 */
}

/* Text-level semantics
   ========================================================================== */

/**
 * Remove the gray background on active links in IE 10.
 */

a {
  background-color: transparent;
}

/**
 * 1. Remove the bottom border in Chrome 57-
 * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
 */

abbr[title] {
  border-bottom: none; /* 1 */
  text-decoration: underline; /* 2 */
  text-decoration: underline dotted; /* 2 */
}

/**
 * Add the correct font weight in Chrome, Edge, and Safari.
 */

b,
strong {
  font-weight: bolder;
}

/**
 * 1. Correct the inheritance and scaling of font size in all browsers.
 * 2. Correct the odd `em` font sizing in all browsers.
 */

code,
kbd,
samp {
  font-family: monospace, monospace; /* 1 */
  font-size: 1em; /* 2 */
}

/**
 * Add the correct font size in all browsers.
 */

small {
  font-size: 80%;
}

/**
 * Prevent `sub` and `sup` elements from affecting the line height in
 * all browsers.
 */

sub,
sup {
  font-size: 75%;
  line-height: 0;
  position: relative;
  vertical-align: baseline;
}

sub {
  bottom: -0.25em;
}

sup {
  top: -0.5em;
}

/* Embedded content
   ========================================================================== */

/**
 * Remove the border on images inside links in IE 10.
 */

img {
  border-style: none;
}

/* Forms
   ========================================================================== */

/**
 * 1. Change the font styles in all browsers.
 * 2. Remove the margin in Firefox and Safari.
 */

button,
input,
optgroup,
select,
textarea {
  font-family: inherit; /* 1 */
  font-size: 100%; /* 1 */
  line-height: 1.15; /* 1 */
  margin: 0; /* 2 */
}

/**
 * Show the overflow in IE.
 * 1. Show the overflow in Edge.
 */

button,
input { /* 1 */
  overflow: visible;
}

/**
 * Remove the inheritance of text transform in Edge, Firefox, and IE.
 * 1. Remove the inheritance of text transform in Firefox.
 */

button,
select { /* 1 */
  text-transform: none;
}

/**
 * Correct the inability to style clickable types in iOS and Safari.
 */

button,
[type="button"],
[type="reset"],
[type="submit"] {
  -webkit-appearance: button;
}

/**
 * Remove the inner border and padding in Firefox.
 */

button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
  border-style: none;
  padding: 0;
}

/**
 * Restore the focus styles unset by the previous rule.
 */

button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
  outline: 1px dotted ButtonText;
}

/**
 * Correct the padding in Firefox.
 */

fieldset {
  padding: 0.35em 0.75em 0.625em;
}

/**
 * 1. Correct the text wrapping in Edge and IE.
 * 2. Correct the color inheritance from `fieldset` elements in IE.
 * 3. Remove the padding so developers are not caught out when they zero out
 *    `fieldset` elements in all browsers.
 */

legend {
  box-sizing: border-box; /* 1 */
  color: inherit; /* 2 */
  display: table; /* 1 */
  max-width: 100%; /* 1 */
  padding: 0; /* 3 */
  white-space: normal; /* 1 */
}

/**
 * Add the correct vertical alignment in Chrome, Firefox, and Opera.
 */

progress {
  vertical-align: baseline;
}

/**
 * Remove the default vertical scrollbar in IE 10+.
 */

textarea {
  overflow: auto;
}

/**
 * 1. Add the correct box sizing in IE 10.
 * 2. Remove the padding in IE 10.
 */

[type="checkbox"],
[type="radio"] {
  box-sizing: border-box; /* 1 */
  padding: 0; /* 2 */
}

/**
 * Correct the cursor style of increment and decrement buttons in Chrome.
 */

[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
  height: auto;
}

/**
 * 1. Correct the odd appearance in Chrome and Safari.
 * 2. Correct the outline style in Safari.
 */

[type="search"] {
  -webkit-appearance: textfield; /* 1 */
  outline-offset: -2px; /* 2 */
}

/**
 * Remove the inner padding in Chrome and Safari on macOS.
 */

[type="search"]::-webkit-search-decoration {
  -webkit-appearance: none;
}

/**
 * 1. Correct the inability to style clickable types in iOS and Safari.
 * 2. Change font properties to `inherit` in Safari.
 */

::-webkit-file-upload-button {
  -webkit-appearance: button; /* 1 */
  font: inherit; /* 2 */
}

/* Interactive
   ========================================================================== */

/*
 * Add the correct display in Edge, IE 10+, and Firefox.
 */

details {
  display: block;
}

/*
 * Add the correct display in all browsers.
 */

summary {
  display: list-item;
}

/* Misc
   ========================================================================== */

/**
 * Add the correct display in IE 10+.
 */

template {
  display: none;
}

/**
 * Add the correct display in IE 10.
 */

[hidden] {
  display: none;
}


/*general*/

html {
    height:100%;
    margin: 0;
    background: #f3f3e9 url(../../images/f3f3e9.noise.png);
    font-family: 'euroregular', 'texgyrepagellaregular', 'stixgeneralregular', serif;
    font-size: 112%;
    line-height: 1.45;
    color: #036;
    }

/* Opera 12 has no partial font fallback. The euroregular font cannot be used.
   https://www.opera.com/docs/specs/presto2.12/css/o-vendor/ */
doesnotexist:-o-prefocus, html {font-family: 'texgyrepagellaregular', serif;}


body {
    height:100%;
    margin: 0;
    counter-reset: equation figure table;
    }

body::-webkit-scrollbar {
    width:  16px !important;
    height: 16px !important;
}

body::-webkit-scrollbar-corner,
body::-webkit-scrollbar-track {
    background: #f1f1f1 !important;
}

body::-webkit-scrollbar-thumb {
    background: #c0c0c0 !important;
}
body::-webkit-scrollbar-thumb:hover {
    background: #a6a6a6 !important;
}
body::-webkit-scrollbar-thumb:active {
    background: #505050 !important;
}


a {
    text-decoration: none;
    word-break: break-word;
    }
a:link {color: #00f}
a:visited {color: #00f}
a:hover {color: #f30}
a:active {color: #f30}
a img {border: none}


/*title block*/

.title {
    display: block;
    text-align: center;
    font-size: 3.2rem;
    line-height: 1.15;
    }

.author {
    display: block;
    margin-top: 0.5rem;
    margin-bottom: 0.5rem;
    text-align: center;
    font-size: larger;
    line-height: 0.8;
    }

.date {
    text-align: center;
    font-size: medium;
    font-weight: normal;
    margin-bottom: 1.8rem;
    }
.date a:link {color: #00f}
.date a:hover {color: #f30}
.date a:active {color: #f30}
.date a:visited {color: #00f}


/*first ordered list for breadcrumbs*/

ol:first-of-type {
    clear: both;
    padding: 0;
    margin-top: 0;
    list-style: none;
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: bold;
    font-size: 10pt;
    text-align: left;
    float: left;
    }

ol:first-of-type li{display: inline;}

ol:first-of-type > li:not(:first-child):before {
    content: "►";
    padding-right: 0.15rem;
    }

ol:first-of-type ul {
    display: inline-block;
    padding: 0;
    margin-top: 0;
    margin-bottom: 0;
    list-style: none;
    vertical-align: middle;
    }

ol:first-of-type ul > li {
    clear: left;
    float: left;
    }


/*language versions*/

ol:first-of-type + ul {
    padding: 0;
    margin-top: 0;
    list-style: none;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    font-size: 10pt;
    text-align: center;
    float: right;
    }

ol:first-of-type + ul li {
    display: inline;
    background-color: #e3e3d3;
    padding-top: 7px;
    padding-bottom: 7px;
    margin-left: 2px;
    margin-bottom: 7px;
    width: 7rem;
    }
ol:first-of-type + ul li {display: inline-block;}
ol:first-of-type + ul li a {display: block;}
ol:first-of-type + ul li a:link {color: #036}
ol:first-of-type + ul li a:hover {color: #236b12}
ol:first-of-type + ul li a:active {color: #236b12}
ol:first-of-type + ul li a:visited {color: #036}

ol:first-of-type + *:not(ul) {
    clear:both;
    margin-top: 2.5rem;
    }
ol:first-of-type + blockquote {margin-top: 5rem;}
ol:first-of-type + ul + blockquote {margin-top: 3.75rem;}


/*headings*/

h1 {
    clear: both;
    display: inline-block;
    width: 100%;
    margin-top: 2.5rem;
    margin-bottom: 0;
    font-family: 'texgyrepagellabold', serif;
    font-size: 1.8rem;
    line-height: 1.15;
    }

h2 {
    clear: both;
    display: inline-block;
    width: 100%;
    margin-top: 1.3rem;
    margin-bottom: 0;
    font-family: 'texgyrepagellabold', serif;
    font-size: 1.3rem;
    line-height: 1.15;
    }

h3 {
    clear: both;
    display: inline-block;
    width: 100%;
    margin-top: 1.1rem;
    margin-bottom: 0;
    font-family: 'texgyrepagellabold', serif;
    font-size: 1.1rem;
    line-height: 1.15;
    }
h3 + p {margin-top:0;}

/*h4 is used for table notes*/
h4 {
    clear: both;
    margin-top: 5pt;
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-size: small;
    margin-bottom: 0;
    }
h4+ul {
    margin-top: 0;
    margin-left: 0;
    padding-left: 0;
    list-style-type: none;
    font-size: smaller;
    }

h1 a:link {color: #036;}
h2 a:link {color: #036;}
h3 a:link {color: #036;}
h4 a:link {color: #036;}
h5 a:link {color: #036;}
h6 a:link {color: #036;}

h1 a:visited {color: #036;}
h2 a:visited {color: #036;}
h3 a:visited {color: #036;}
h4 a:visited {color: #036;}
h5 a:visited {color: #036;}
h6 a:visited {color: #036;}

h1 a:hover {color: #036;}
h2 a:hover {color: #036;}
h3 a:hover {color: #036;}
h4 a:hover {color: #036;}
h5 a:hover {color: #036;}
h6 a:hover {color: #036;}

h1 a:active {color: #036;}
h2 a:active {color: #036;}
h3 a:active {color: #036;}
h4 a:active {color: #036;}
h5 a:active {color: #036;}
h6 a:active {color: #036;}

p {
    text-align: justify;
    margin-bottom: 0;
    }


/*emphasis*/

em {font-family: 'texgyrepagellaitalic', serif;}

h1 em, h2 em, h3 em, h4 em, h5 em, h6 em, th em, div#TOC ul li em {font-family: 'texgyrepagellabolditalic', serif;}

strong {
    font-weight: normal;
    background-color: #ff3;
    padding-left: 0.15rem;
    padding-right: 0.15rem;
    padding-bottom: 0.35rem;
    }


/*lists*/
    /* http://stackoverflow.com/questions/710158/why-do-my-list-item-bullets-overlap-floating-elements */

h1 + ol, h1 + ul {margin-top: 1.1rem;}
h2 + ol, h2 + ul {margin-top: 1.1rem;}
h3 + ol, h3 + ul {margin-top: 1.1rem;}
ol, ul {
    overflow: hidden;    /*Required for correct placement after <dl> miniature illustrations*/
    text-align: justify;
    margin-top: 0.5rem;
    margin-bottom: 0;
    }

ol:not(:first-of-type) li {position: relative;}
ol:not(:first-of-type) li p {
    margin-top: 0.75rem;
    margin-bottom: 0.75rem;
    }

#article ul li {position: relative;}

#article li {clear: both;}
#article li img {
    float: left;
    display: block;    /*Required for correct bullet placement*/
    padding-top: 0.4ex;
    margin-right: 1rem;
    margin-bottom: 0.75rem;
    }


/*blockquotes*/

blockquote {
    clear: both;
    background-color: #fc3;
    margin-left: 0;
    margin-right: 0;
    padding-top: 0.75rem;
    padding-left:1.5rem;
    padding-right:1.5rem;
    padding-bottom: 0.75rem;
    border-left: 1rem solid #c00;
    }
blockquote * {
    margin-top: 0;
    margin-bottom: 0.75rem;
    }
blockquote a img {
    margin-bottom: 0;    /* for groups.io link in cl-ocfd */
    }
blockquote ul {
    margin-left: 0;
    padding-left: 1rem;
    }
blockquote strong {
    background-color: transparent;
    font-family: 'texgyrepagellabold', serif;
    }
blockquote strong em {font-family: 'texgyrepagellabolditalic', serif;}
blockquote code {
    background-color: transparent;
    font-family: 'dejavu_sans_monobold';
    }
blockquote p img {vertical-align: -100%;}    /* Required for cl-ocfd. */


/*descriptions*/

dt {
    float: left;
    padding-top: 0.4ex;
    margin-right: 1rem;
    margin-bottom: 0;
    text-align: center;
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: bold;
    font-size: 80%;
    }
dt img {
    display: block;    /*Required for image caption*/
    max-width: 40mm;
    margin-left: auto;
    margin-right: auto;
    }

dd {
    margin-left: 0;
    text-align: justify;
    }


/*math*/

[id^="mjx-eqn-"] {font-weight: bold;}
.eqnos-number {font-weight: bold;}


/* keyboard keys */

kbd {
    padding: 0.1em 0.6em;
    margin: 0 0.1em;
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: normal;
    font-size: 11px;
    line-height: 1.4;
    color: #003366;
    text-shadow: 0 1px 0 #fff;
    background-color: #f7f7f7;
    border: 1px solid #ccc;
    border-radius: 3px;
    box-shadow: 0 1px 0px rgba(0, 0, 0, 0.2),0 0 0 2px #fff inset;
    white-space: nowrap;
    display: inline-block;
    }


/*figures*/

div.float {
    clear: both;
    margin-top: 1.5rem;
    text-align: center;
    }
div.float img {
    width: auto;
    max-width: 100%;
    margin-bottom: 0;
    }

div.figcaption {
    margin-top: 0.3rem;
    margin-left: 10%;
    margin-right: 10%;
    font-size: 95%;
    text-align: center;
    }
div.figcaption:before {
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: bold;
    font-size: 95%;
    counter-increment: figure;
    }
div.figcaption:lang(en):before {content: 'Figure ' counter(figure) ': ';}
div.figcaption:lang(nl):before {content: 'Figuur ' counter(figure) ': ';}

div.figcaption span:first-child {
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: bold;
    font-size: 95%;
    }


/*old figures*/

div.figure {
    clear: both;
    margin-top: 1.5rem;
    text-align: center;
    }
div.figure img {
    width: auto;
    max-width: 100%;
    margin-bottom: 0;
    }

p.caption {
    margin-top: 0.3rem;
    margin-left: 10%;
    margin-right: 10%;
    font-size: 95%;
    text-align: center;
    }
p.caption:before {
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: bold;
    font-size: 95%;
    counter-increment: figure;
    }
p.caption:lang(en):before {content: 'Figure ' counter(figure) ': ';}
p.caption:lang(nl):before {content: 'Figuur ' counter(figure) ': ';}

p.caption span:first-child {
    font-family: Arial, Helvetica, Liberation Sans, sans-serif;
    font-weight: bold;
    font-size: 95%;
    }


/*forms*/

input, select {
    font: inherit;
    color: inherit;
    }
input[readonly="readonly"] {
    /* https://github.com/w3c/csswg-drafts/issues/3377#issuecomment-569405989 */
    background-color: #e3e3d3;
    border-right-color:  #f1f1f1;
    border-bottom-color: #f1f1f1;
}
input[type="text"] {line-height: 1.3rem;}
select {background-color: #e3e3d3;}

button {
    float: right;
    margin: 5px;
}

span.range {display:inline-block;}

textarea {
    margin-top: 1.5rem;
    width: 100%;
    font-family: 'dejavu_sans_monobook';
    font-size: 0.85rem;
    padding-left: 0.85rem;
    resize: none;
}


/*audio*/

audio {margin-top: 8px;}


/*references*/

.references strong {
    font-weight: bold;
    background-color: transparent;
    padding: 0;
    }

div.csl-bib-body {}
div.csl-entry {
    margin-top: 1rem;
    display: table;
    }
div.csl-left-margin {
    display: table-cell;
    }
div.csl-right-inline {
    padding-left: 1ex;
    display: table-cell;
    }


/*classes*/

.center {text-align: center;}
.center p {text-align: center;}


/*ids*/

div#skyscraper-ad {
    top: 0;
    right: 0;
    width: 0;
    position: fixed;
    }
@media (max-width:1151px){
    div#skyscraper-ad {display: none;}
    }
@media (min-width:1152px){
    div#skyscraper-ad {width: 160px;}
    div#leaderboard-ad {display: none;}
    }

div#article {
    top: 0;
    left: 0;
    margin-left: 18%;
    margin-right: 0;
    padding-left: 3.5rem;
    padding-right: 3.5rem;
    }
@media (min-width:1152px){
    div#article {margin-right: 160px;}
    }

div#geochart {
    clear: both;
    margin-top: 1.5rem;
    }


/*toc*/

div#TOCbar {
    background: #f3f3e9 url(../../images/f3f3e9.noise.png);
    top: 0;
    left: 0;
    position: fixed;
    z-index: 32767;
    width: 18.3%;
    height: 100%;
    overflow-x: hidden;
    overflow-y: scroll;
    text-align: left;
    font-family: 'texgyrepagellabold', serif;
    font-size: 0.85rem;
    }

div#TOCbar ul {padding-left: 0em;}
div#TOCbar ul li {list-style: none;}

div#TOCbar a {text-decoration: none;}
div#TOCbar a:link {color: #003366;}
div#TOCbar a:visited {color: #003366;}
div#TOCbar a:hover {color: #ff3300;}
div#TOCbar a:active {color: #ff3300;}

div#hamwaves img {width: 100%;}

div#meta {
    background-color: #e3e3d3;
    padding-top: 5px;
    padding-left: 5px;
    padding-bottom: 5px;
    }
div#meta a:hover {color: #236b12;}
div#meta a:active {color: #236b12;}

div#PDF {
    height: 34px;
    text-align: left;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    font-size: 0.9rem;
    line-height: 1.1;
    white-space: nowrap;
    }
div#PDF .left {
    float: left;
    margin-right: 5px;
    }
div#PDF ul {margin: 0;}

div#source {
    clear: left;
    text-align: left;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: normal;
    white-space: nowrap;
    }
div#source ul {
    margin: 0;
    margin-top: 5px;
    }
div#source ul li {
    margin-top: 0.10em;
    line-height: 1;
    }

div#source a img {
    vertical-align: -30%;
    margin-right: 0.05rem;
    background: url(../../images/markdown.prussian-blue.png) no-repeat;
    background-size: cover;
    }
div#source a:hover img {
    background: url(../../images/markdown.green.png) no-repeat;
    background-size: cover;
    }

div#top {
    margin-top: 0.5em;
    text-align: center;
    font-family: 'davysregular';
    font-weight: normal;
    }

div#TOC ul {
    margin-top: 0.25em;
    margin-left: 0.5em;
    margin-right: 0.5em;
    margin-bottom: 0;
    text-align: center;
    }
div#TOC ul li {
    margin-top: 0;
    margin-bottom: 0;
    line-height: 1;
    }
div#TOC ul li:after {
    font-family: 'dejavu_serifbook';
    font-weight: normal;
    content: '\a⁓';
    white-space: pre-wrap;
    }

div.donate {
    width: 125px;
    margin: 0 auto;
    margin-bottom: 1em;
    margin-top: 0.25em;
    background: #003366;
    text-align: center;
    color: #ffffff;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    padding-top: 7px;
    padding-bottom: 7px;
    }
div.donate form {
    width: 110px;
    margin-left: 7px;
    margin-right: 8px;
    }
div.donate input {
    margin-top: 7px;
    }


/*code*/

code {
    background-color: #e3e3d3;
    font-family: 'dejavu_sans_monobook';
    font-size: 0.85rem;
    padding: 0.15rem;
    white-space: pre;
    }

em code {
    font-style: normal;    /*no italic*/
    font-family: 'dejavu_sans_monobold';
    }

strong code {
    padding: 0;
    background-color: #ffff33;
    }

pre {
    background-color: #e3e3d3;
    padding-top: 1rem;
    padding-left: 2rem;
    padding-bottom: 1rem;
    padding-right: 1rem;
    overflow: auto;
    max-height: 800px;
    }

pre code {padding: 0;}

/* Adapted from http://benjeffrey.com/posts/pandoc-syntax-highlighting-css */

/* KeyWordTok*/
.sourceCode .kw {color: #268BD2;}

/* DataTypeTok*/
.sourceCode .dt {color: #268BD2;}

/* DecValTok (decimal value), BaseNTok, FloatTok*/
.sourceCode .dv, .sourceCode .bn, .sourceCode .fl { color: #D33682;}

/* CharTok*/
.sourceCode .ch {color: #DC322F;}

/* StringTok*/
.sourceCode .st {color: #2AA198;}

/* CommentTok*/
.sourceCode .co {color: #93A1A1;}

/* OtherTok*/
.sourceCode .ot {color: #A57800;}

/* AlertTok*/
.sourceCode .al {color: #CB4B16; font-weight: bold;}

/* RegionMarkerTok*/
.sourceCode .re { }

/* ErrorTok*/
.sourceCode .er {color: #D30102; font-weight: bold;}


/*tables*/

table {
    clear: both;
    margin-top: 1.5rem;
    margin-left:auto;
    margin-right:auto;
    font-size: 90%;
    border-spacing: 3px;
    }

table strong {
    font-family: 'texgyrepagellabold', serif;
    background: transparent;
    padding:0;
    }

table strong em {
    font-family: 'texgyrepagellabolditalic', serif;
    background: transparent;
    padding:0;
    }

table code {
    background: transparent;
    padding:0;
    }

table caption {
    margin-left: 3px;
    margin-right: 3px;
    background: #c00;
    color: #fcfcfc;
    font-family: Arial, Helvetica, sans-serif;
    font-weight: bold;
    line-height: 1.4;
    padding-top: 0.25rem;
    padding-bottom: 0.25rem;
    }

table caption:before {counter-increment: table;}
table:lang(en) caption:before {content: 'Table ' counter(table) ': ';}
table:lang(nl) caption:before {content: 'Tabel ' counter(table) ': ';}

table caption a:link {color: #fcfcfc}
table caption a:visited {color: #fcfcfc}
table caption a:hover {color: #fc3}
table caption a:active {color: #fc3}

tr.header {background: #fc3;}
th {
    font-family: 'texgyrepagellabold', serif;
    font-weight: normal;
    padding-top: 0.25rem;
    padding-left: 1rem;
    padding-right: 1rem;
    padding-bottom: 0.25rem;
    }

tr.odd {background: #f3f3e9;} /*light background*/
tr.even {background: #e3e3d3;} /*dark background*/
td {
    padding-top: 0.25rem;
    padding-left: 1rem;
    padding-right: 1rem;
    padding-bottom: 0.25rem;
    line-height: 1.1;
    }

td img {max-width: 100%;}
/* https://webcompat.com/issues/737 */
/*@-moz-document url-prefix() {td img {width: 100%;}}*/
td img {width: 100%;}

.h-scroll-tables + table,
.h-scroll-tables + :not(h) + table,
.h-scroll-tables + :not(h) + :not(h) + table {
    display: block;
    overflow-x: auto;
    white-space: nowrap;
    }

.h-scroll-tables + table caption,
.h-scroll-tables + :not(h) + table caption,
.h-scroll-tables + :not(h) + :not(h) + table caption {
    display: inline-block;
    width: 100%;
    }


/* Suppress pandoc-xnos numbering */

p.caption span:first-child,
table caption span:first-child,
span.eqnos-number {
    display: none;
}


/*after*/

div#after {
    clear: both;
    text-align: center;
    font-family: 'texgyrepagellaregular', serif; /*Firefox 26.0 fails to fallback font on space character between inline images.*/
    font-size: 89%;
    }

div#leaderboard-ad {margin-top: 2.5rem;}

div#ornament {
    margin-top: -1.5rem;
    margin-bottom: 0;
    font-family: 'davysregular';
    font-size: 1200%;
    user-select: none;
    }

div#after div.donate {
    margin-top: -62px;
    margin-bottom: 1.5rem;
    }

div#CC {
    margin-top: 1.5rem;
    margin-bottom: 1.5rem;
    }

div#privacy {
    margin-top: 1.5rem;
    margin-bottom: 1.5rem;
    }
div#privacy em {
    font-style: italic;
    background-color: transparent;
    }

div#bottle {
    display: none;
    margin-top: 1.5rem;
    margin-bottom: 1.5rem;
    }
div#bottle img {vertical-align: middle;}

div#brython {
    display: none;
    margin-top: 1.5rem;
    margin-bottom: 1.5rem;
    }
div#brython img {vertical-align: middle;}

div#pandoc {
    margin-top: 1.5rem;
    margin-bottom: 1rem;
    }
div#pandoc img {vertical-align: middle;}

div#MathJax {
    margin-top: 1rem;
    margin-bottom: 1rem;
    }
div#MathJax img {vertical-align: middle;}

div#W3C {
    margin-top: 1rem;
    margin-bottom: 0.5rem;
    }

div#Prince {display: none;}

div#URL {display: none;}

div#StackExchange {
    margin-top: 0.5rem;
    margin-bottom: 1rem;
    }

div#OpenPGP {
    margin-top: 0.5rem;
    margin-bottom: 1rem;
    }

div#update {
    margin-top: 1rem;
    padding-bottom: 1.5rem;
    }