/*
 * Copyright (c) 2012-2019 Robert Klein <roklein@roklein.de>
 *
 * Permission to use, copy, modify, and distribute this software for any
 * purpose with or without fee is hereby granted, provided that the above
 * copyright notice and this permission notice appear in all copies.
 *
 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
 * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
 * ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
 * OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
 */


@font-face {
  font-family: wfSourceSansPro; /* regular font */
  src: url("../fonts/SourceSansPro-Regular.ttf.woff") format("woff");
  font-weight: normal; font-style: normal; }

@font-face {
  font-family: wfSourceSansPro; /* bold font */
  src: url("../fonts/SourceSansPro-Bold.ttf.woff") format("woff");
  font-weight: bold; font-style: normal; }

@font-face {
  font-family: wfSourceSansPro; /* light font */
  src: url("../fonts/SourceSansPro-Light.ttf.woff") format("woff");
  font-weight: 300; font-style: normal; }

@font-face {
  font-family: wfSourceSansPro; /* italic font */
  src: url("../fonts/SourceSansPro-It.ttf.woff") format("woff");
  font-weight: normal; font-style: italic; }

@font-face {
  font-family: wfSourceSansPro; /* bolditalic font */
  src: url("../fonts/SourceSansPro-BoldIt.ttf.woff") format("woff");
  font-weight: bold; font-style: italic; }

@font-face {
  font-family: wfSourceSansPro; /* light font */
  src: url("../fonts/SourceSansPro-LightIt.ttf.woff") format("woff");
  font-weight: 300; font-style: italic; }

@font-face {
  font-family: wfSourceCodePro; /* regular font */
  src: url("../fonts/SourceCodePro-Regular.ttf.woff") format("woff");
  font-weight: normal; font-style: normal; }

@font-face {
  font-family: wfSourceCodePro; /* bold font */
  src: url("../fonts/SourceCodePro-Bold.ttf.woff") format("woff");
  font-weight: bold; font-style: normal; }

@font-face {
  font-family: wfSourceCodePro; /* light font */
  src: url("../fonts/SourceCodePro-Light.ttf.woff") format("woff");
  font-weight: 300; font-style: normal; }

@font-face {
  font-family: wfSourceCodePro; /* italic font */
  src: url("../fonts/SourceCodePro-It.ttf.woff") format("woff");
  font-weight: normal; font-style: italic; }

@font-face {
  font-family: wfSourceCodePro; /* bolditalic font */
  src: url("../fonts/SourceCodePro-BoldIt.ttf.woff") format("woff");
  font-weight: bold; font-style: italic; }

@font-face {
  font-family: wfSourceCodePro; /* light font */
  src: url("../fonts/SourceCodePro-LightIt.ttf.woff") format("woff");
  font-weight: 300; font-style: italic; }


@font-face {
    font-family: dvsans;
    src: url("../fonts/DejaVuSans.ttf") format("truetype");
}
@font-face {
    font-family: dvsans;
    src: url("../fonts/DejaVuSans-Oblique.ttf") format("truetype");
    font-style: italic;
}
@font-face {
    font-family: dvsans;
    src: url("../fonts/DejaVuSans-Bold.ttf") format("truetype");
    font-weight: bold;
}
@font-face {
    font-family: dvsans;
    src: url("../fonts/DejaVuSans-BoldOblique.ttf") format("truetype");
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: biolinumkbd;
    src: url("../fonts/LinBiolinum_K.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: biolinum;
    src: url("../fonts/LinBiolinum_R.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: biolinum;
    src: url("../fonts/LinBiolinum_RB.woff") format("woff");
    font-weight: bold;
    font-style: normal;
}
@font-face {
    font-family: biolinum;
    src: url("../fonts/LinBiolinum_RI.woff") format("woff");
    font-weight: normal;
    font-style: italic;
}



/* @font-face { */
/*     font-family: ; */
/*     src: url("../fonts/LinLibertine_DR.woff") format("woff"); */
/*     font-weight: normal; */
/*     font-style: normal; */
/* } */
/* @font-face { */
/*     font-family: libertine; */
/*     src: url("../fonts/LinLibertine_I.woff") format("woff"); */
/*     font-weight: normal; */
/*     font-style: italic; */
/* } */
/* @font-face { */
/*     font-family: libertine; */
/*     src: url("../fonts/LinLibertine_M.woff") format("woff"); */
/*     font-weight: ; */
/*     font-style: ; */
/* } */
@font-face {
    font-family: libertine;
    src: url("../fonts/LinLibertine_R.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: libertine;
    src: url("../fonts/LinLibertine_RB.woff") format("woff");
    font-weight: bold;
    font-style: normal;
}
@font-face {
    font-family: libertine;
    src: url("../fonts/LinLibertine_RBI.woff") format("woff");
    font-weight: bold;
    font-style: italic;
}
@font-face {
    font-family: libertine;
    src: url("../fonts/LinLibertine_RI.woff") format("woff");
    font-weight: normal;
    font-style: italic;
}
@font-face {
    font-family: libertine-semibold;
    src: url("../fonts/LinLibertine_RZ.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: libertine-semibold;
    src: url("../fonts/LinLibertine_RZI.woff") format("woff");
    font-weight: normal;
    font-style: italic;
}

/* cf. ttf definition below
@font-face {
    font-family: newtxtt;
    src: url("../fonts/newtxtt.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: newtxtt;
    src: url("../fonts/newtxbtt.woff") format("woff");
    font-weight: bold;
    font-style: normal;
} */
@font-face {
    font-family: newtxtt-small-caps;
    src: url("../fonts/newtxttsc.woff") format("woff");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: newtxtt-small-caps;
    src: url("../fonts/newtxbttsc.woff") format("woff");
    font-weight: bold;
    font-style: normal;
}

@font-face {
    font-family: newtxtt;
    src: url("../fonts/newtxtt.ttf") format("truetype");
    font-weight: normal;
    font-style: normal;
}
@font-face {
    font-family: newtxtt;
    src: url("../fonts/newtxbtt.ttf") format("truetype");
    font-weight: bold;
    font-style: normal;
}


body {
    margin: 0 auto;
    padding: 0; /* 0 5em 0; */
    width: 100%;
    max-width: 60em;
    background: #fffaf0; /* floralwhite */ /* whitesmoke; #f5f5f5 */
    font-size: large; /*100%;  */
    color: #000;
    text-align: justify;
    font-family: biolinum, wfSourceSansPro, serif;
    /*letter-spacing: .3px;*/
    display: block;

    /* font-family: "Linux Libertine", Georgia, serif; */
    /* padding for the footer is in colmask */
    /* border: 0; */

}


body a {
    color: black;
    text-decoration: underline dotted black;
    padding-bottom: 0;
}

/* if i use a breadcrumb again */
#breadcrumb {
    float:left;
    width:100%;
    padding:.1em 0 ;
    margin:0;
    background-color: #eee;
    font-size: small;
/* border-bottom: 4px solid #75A838; */
}
#breadcrumb p {
    padding:0;
    margin:0;
}

#preamble {
    clear: both;    /* nothing to the left or right of the header */
    float: none;    /* essentially the same */
    width: 100%;
    margin: 0;
    padding: 0;
    background-color: mintcream;
    font-size: small;
    border-bottom:1px solid gainsboro; /* #7ca6a6; */ /* solid #000; */
    /* Fixed header at the top of the screen. */
    position: fixed;
    top: 0;
    left: 0;
    z-index: 999;
    /* height: 1.5em;*/
    /* letter-spacing: 0.1em; */
    /* background: none repeat scroll 0 0; */
/*    border-bottom: 1px dotted #7ca6a6; */
}

#preamble p {
    margin:0;
    padding: .2em 1em .2em 1em;
    /* space above text and below letters g and y. */
}

.sitetitle { font-size: xx-large; }
.alignright { float: right; }
.alignleft { float: left; }
.spaced { letter-spacing: 2px; font-weight: bold;}


/* note: floating in span's needs the outer element to be 100% witdh
   or so */
.left { float: left; text-align: left; }
.right { float: right; text-align: right; }

.header {
    clear:both;
    float:left;
    width:100%;
    margin:0;
    background-color: #eee;
    font-size: small;
    border-top:1px solid gainsboro; /* #7ca6a6; */  /* solid #000; */
    /* Fixed footer at the bottom of the screen. */
    position: fixed;
    top: 0px;
}

/* #postamble nicht verwenden!!! */

.footer {
    clear:both;
    float:none;
    width:100%;
    margin:0;
    background-color: mintcream;
    font-size: small;
    border-top:1px solid gainsboro; /* #7ca6a6;*/  /* solid #000; */
    /* Fixed footer at the bottom of the screen. */
    position: fixed;
    bottom: 0px;
    left:0;
    letter-spacing: 1px;
}

.footer p {
    margin:0;
    padding: .2em 1em .2em 1em;
    /* space above text and below letters g and y. */
}


/* navigation using lists. */
ul.navmain {
    list-style: none;
    padding-left: 0;
}
ul.nav {
    list-style: none;
    padding-left: 0;
}
ul.navmain > li {
    background:  url('../imgs/red_arrow.gif') 0 0 no-repeat;
    list-style: none;
    padding: 0 0 0 15px;
}
ul.nav > li {
    background:  url('../imgs/red_arrow.gif') 0 0 no-repeat;
    list-style: none;
    padding: 0 0 0 15px;
}
ul.navmain > li.nolink {
    background: none;
    list-style: none;
    padding: .7em 0 .3em 0;
}
ul.nav > li.nolink {
    background: none;
    list-style: none;
    padding: .5em 0 .2em 0; /* 15; */
}
ul.navmain > li.submenu {
        background: none;
        list-style: none;
        padding: 0.2em 0 0.2em 15px;
}
ul.navinner {
    padding-left: 1em;
    /* background-color: yellow; */
    list-style: disc inside url('../imgs/red_arrow.gif');
}
/* end of navigation */



/* standard markup for headers and paragraphs */
#content h1 {  /* former h1.title */
    text-align: center;
/*    font-size: large; */
    font-weight: bold;
    padding: .75em 1em;
    /* font-family: Arial, Helvetica, sans-serif; */
    font-family: biolinum, wfSourceSansPro;
    font-weight: bold;
    letter-spacing: 0.05em;
    /*( letter-spacing: 0.01ex; */
    border-bottom: 1px solid #eee; /* underline headline */
}

mydate {
    text-align: center;
/*    font-size: large; */
    font-family: biolinum, wfSourceSansPro;
    letter-spacing: 0.05em;
    border-bottom: 1px solid #eee; /* underline headline */
}

#content {
    margin:0 1em 1em 5em;  /* bottom 1 em is for the fixed footer */
    padding: 5em 0 2em 0;
    position: relative;
    /* right:100%; */
    overflow:hidden;    /* This chops off any overhanging divs */
}

#content h2 {
    font-size: 120%;
    padding-left: .2em;
}

#content h3{
    font-size: 110%;
    font-style: bold;
}

#content h4 {
    font-size: 100%;
    font-style: bold;
}
/* end of standard markup */

/* external sites: */
/* a[href^="http://"]:not([href*="mysite.com"]),
 * a[href^="https://"]:not([href*="mysite.com"]), 
 * a[href^="//"]:not([href*="mysite.com"]), {
 */
/* a[href^="http://"]::after, a[href^="https://"]::after {
 *   content: "⇗";
 *   /* ⬀ ⬈  */
 * }
 */



/* org-mode coloring.  I included the org-info.js stuff, even if I
   don't use it. */

.title  {
    text-align: center;
    margin-bottom: .2em;
}
.subtitle {
    text-align: center;
    font-size: medium;
    font-weight: bold;
    margin-top:0;
}
.todo   { font-family: wfSoureCodePro, monospace; color: red; }
.done   { font-family: wfSoureCodePro, monospace; color: green; }
.tag    { font-family: wfSoureCodePro, monospace;
          background-color: #add8e6;
          padding: 2px;
          font-size: 80%;
          font-weight:normal }
.target { }
.timestamp { color: #bebebe; }
.timestamp-kwd { color: #5f9ea0; }
.right  {margin-left:auto; margin-right:0px;  text-align:right;}
.left   {margin-left:0px;  margin-right:auto; text-align:left;}
.center {margin-left:auto; margin-right:auto; text-align:center;}
.org-right  {margin-left:auto; margin-right:0px;  text-align:right;}
.org-left   {margin-left:0px;  margin-right:auto; text-align:left;}
.org-center {margin-left:auto; margin-right:auto; text-align:center;}
.underline { text-decoration: underline; }
p.verse { margin-left: 3% }
pre {
    border: 1pt solid #AEBDCC;
    box-shadow: 3px 3px 3px #eee;
    background-color: cornsilk; /*#fdf5e6; /* OldLace */
    font-family: newtxtt, wfSoureCodePro, monospace;
    font-size: 90%; /* 136% */
    overflow:auto;
    margin:0.5em 1em 0.5em auto; 
    padding:1em;

}

code {
    font-family: newtxtt, wfSourceCodePro, monospace;
    font-size: 90%;
}

pre code {
    background-color: cornsilk;
}

.org-src-name {
    font-style: italic;
    padding: 0.4em;
    padding-top: 0.2em;
    background-color: cornsilk;
    border-left: 1px solid #aebdcc;
    border-top: 1px solid #aebdcc;
    border-right: 1px solid #aebdcc;
    border-bottom: 1px dotted #aebdcc;
}
table { border-collapse: collapse; }
caption.t-above { caption-side: top; }
caption.t-bottom { caption-side: bottom; }
td, th { vertical-align: top; padding-right: 0.75em; padding-left: 0.75em; }
th.right  { text-align:center;  }
th.left   { text-align:center;   }
th.center { text-align:center; }
td.right  { text-align:right;  }
td.left   { text-align:left;   }
td.center { text-align:center; }
dt { font-weight: bold; }
div.figure { padding: 0.5em; }
div.figure p { text-align: center; }
div.inlinetask {
    padding:10px;
    border:2px solid gray;
    margin:10px;
    background: #ffffcc;
}

table.grid {
    border: 1px black solid;
}
table.grid  td {
    padding: 0.25em;
    border: 1px gray solid;
}

table.grid  th {
    padding: 0.25em;
    border: 1px gray solid;
}


table.booktabs {
    border-top: 2px solid black;
    border-bottom: 2px solid black;
}

table.booktabs > thead {
    border-bottom: 1px solid black;
}

table.booktabs > thead > tr > th {
    padding-left: .5em;
    padding-right: .5em;
}
table.booktabs > tbody > tr > td {
    /* top, right, bottom, left */
    padding: 3px .5em 3px .5em;
}

table.booktabs > tbody > tr:nth-child(even) {
    /* background-color: cornsilk; */ /*#fdf5e6; /* OldLace */
    /* background-color: WhiteSmoke; */
}


/* nice(r) look for footnotes */
div.footdef {
    width:100%;
    float:left;
}
div.footdef sup {
    float:left;
    padding-right: 1ex;
}
div.footpara {
    float:left;
    margin:0;
    padding:0;
}
p.footpara {
    margin:0;
    padding:0;
}


textarea { overflow-x: auto; }
/* .linenr { font-size:smaller } */
.code-highlighted {background-color:#ffff00;}
.org-info-js_info-navigation { border-style:none; }
#org-info-js_console-label { font-size:10px; font-weight:bold;
                             white-space:nowrap; }
.org-info-js_search-highlight {background-color:#ffff00; color:#000000;
                               font-weight:bold; }
.org-svg { width: 90%; }
/* end of org-mode coloring */