/* PasswortWuerfeltabelle.css */
/* Combines several CSS parts: 
	lwarp.css - auto generated by miktex.lwarp LaTex to PDF converter
	style.css - General migatec.de style  
	PasswortWuerfeltabelle - handmade specific for PasswortWuerfeltabelle.html
*/

/*************************************************************/
/* Part: lwarp.css */
/*
  CSS stylesheet for the LaTeX Lwarp package
  Copyright 2016-2025 Brian Dunn — BD Tech Concepts LLC
*/

/* Page layout */
/* miga >>>*/
main.bodycontainer div.sidetoccontainer {
    font-family: "DejaVu Serif", "Bitstream Vera Serif",
        "Lucida Bright", Georgia, serif;
    float: left ;
    width: 19%; /* room for border-right next to 80% main */
    margin: 0pt 0em 3ex 0pt ;
    border-right: 1px solid silver;
    border-bottom: 1px solid silver;
    background: #FAF7F4 ;
    font-size:.9em ;
    border-radius: 0px 0px 20px 0px ;
    max-height: 100vh ;
    overflow-y: auto ;
}

main.bodycontainer div.sidetoccontents {
    overflow-y: auto ;
    width: 100% ;
    text-align: left ;
}

main.bodycontainer nav.sidetoc p {line-height:1.2 ; margin: 1ex .5em 1ex .5em ;
    text-indent: 0 ; }

main.bodycontainer nav.sidetoc p a {color:black ; font-size: .7em ;}

main.bodycontainer div.sidetoctitle {font-size: 1.2em; font-weight:bold; text-align:center;
    border-bottom: 1px solid silver ;    }

main.bodycontainer nav.sidetoc a:hover {text-decoration: underline ; }
/*<<< miga */
main.bodycontainer nav.topnavigation{
    text-align: left ;
    padding: 0.5ex 1em 0.5ex 1em ;
/*     margin: 2ex 0em 3ex 0em ; */
    margin: 0 ;
    border-bottom: 1px solid silver ;
    border-top: 1px solid silver ;
    clear:both ;
}

main.bodycontainer nav.botnavigation{
    text-align: left ;
    padding: 0.5ex 1em 0.5ex 1em ;
/*     margin: 3ex 0em 2ex 0em ; */
    margin: 0 ;
    border-top: 1px solid silver ;
    border-bottom: 1px solid silver ;
    clear:both ;
}

main.bodycontainer header {
    line-height: 1.2 ;
    font-size: 1em ;
    border-bottom: 1px solid silver ;
    margin: 0px ;
    padding: 2ex 1em 2ex 1em ;
    text-align:left ;
}

main.bodycontainer footer {
    font-size: .85em ;
    line-height: 1.2 ;
    margin-top: 1ex ;
    border-top: 1px solid silver ;
    padding: 2ex 1em 2ex 1em ;
    clear:both ;
    text-align:left ;
}

/* a fix for older browsers: */
/* miga >>>*/
main.bodycontainer header,main.bodycontainer  section,main.bodycontainer  footer,main.bodycontainer  aside,main.bodycontainer  nav,main.bodycontainer  main,main.bodycontainer 
    article,main.bodycontainer  figure { display: block; }

main.bodycontainer A:link {color:#000080 ; text-decoration: none ; }
main.bodycontainer A:visited {color:#800000 ; }
main.bodycontainer A:hover {color:#000080 ; text-decoration: underline ;}
main.bodycontainer A:active {color:#800000 ; }

main.bodycontainer a.tocbook {display: inline-block ; margin-left: 0em ;
    font-weight: bold ; margin-top: 1ex ; margin-bottom: 1ex ; }
main.bodycontainer a.tocpart {display: inline-block ; margin-left: 0em ;
    font-weight: bold ;}
main.bodycontainer a.tocchapter {display: inline-block ; margin-left: 0em ;
    font-weight: bold ;}
main.bodycontainer a.tocsection {display: inline-block ; margin-left: 1em ;
    text-indent: -.5em ; font-weight: bold ; }
main.bodycontainer a.tocsubsection {display: inline-block ; margin-left: 2em ;
    text-indent: -.5em ; }
main.bodycontainer a.tocsubsubsection {display: inline-block ; margin-left: 3em ;
    text-indent: -.5em ; }
main.bodycontainer a.tocparagraph {display: inline-block ; margin-left: 4em ;
    text-indent: -.5em ; }
main.bodycontainer a.tocsubparagraph {display: inline-block ; margin-left: 5em ;
    text-indent: -.5em ; }
main.bodycontainer a.tocfigure {margin-left: 0em}
main.bodycontainer a.tocsubfigure {margin-left: 2em}
main.bodycontainer a.toctable {margin-left: 0em}
main.bodycontainer a.tocsubtable {margin-left: 2em}
main.bodycontainer a.toctheorem {margin-left: 0em}
main.bodycontainer a.toclstlisting {margin-left: 0em}

main.bodycontainer  {
    font-family: "DejaVu Serif", "Bitstream Vera Serif",
        "Lucida Bright", Georgia, serif;
    background: #FAF7F4 ;
    color: black ;
    margin:0em ;
    padding:0em ;
    font-size: 100% ;
    line-height: 1.2 ;
}

main.bodycontainer p {margin: 1.5ex 0em 1.5ex 0em ;}
main.bodycontainer table p {margin: .5ex 0em .5ex 0em ;}
/*<<< miga */
/* Holds a section number */
main.bodycontainer span.sectionnumber { margin-right: 0em }

/* Inserted in front of index lines */
main.bodycontainer span.indexitem {margin-left: 0em}
main.bodycontainer span.indexsubitem {margin-left: 2em}
main.bodycontainer span.indexsubsubitem {margin-left: 4em}
main.bodycontainer div.indexheading {margin-top: 2ex ; font-weight: bold}

main.bodycontainer div.hidden,main.bodycontainer  span.hidden { display: none ; }

main.bodycontainer kbd,main.bodycontainer  span.texttt,main.bodycontainer  p span.texttt {
    font-family: "DejaVu Mono", "Bitstream Vera Mono", "Lucida Console",
        "Nimbus Mono L", "Liberation Mono", "FreeMono", "Andale Mono",
        "Courier New", monospace;
    font-size: 100% ;
}

main.bodycontainer pre { padding: 3pt ; }

main.bodycontainer span.strong,main.bodycontainer  span.textbf,main.bodycontainer  div.strong,main.bodycontainer  div.textbf,main.bodycontainer  table td.tdbfseries { font-weight: bold; }

main.bodycontainer span.textit,main.bodycontainer  div.textit,main.bodycontainer  table td.tditshape { font-style: italic; }

main.bodycontainer table td.tdbfit { font-weight: bold ; font-style:italic }

main.bodycontainer span.textnormal,main.bodycontainer  div.textnormal {
    font-weight: normal;
    font-style: normal;
    font-variant: normal;
    font-variant-numeric: normal ;
    font-family: "DejaVu Serif", "Bitstream Vera Serif",
        "Lucida Bright", Georgia, serif;
}

main.bodycontainer span.textmd,main.bodycontainer  div.textmd { font-weight: normal; }

main.bodycontainer span.textup,main.bodycontainer  div.textup {
    font-style: normal;
    font-variant: normal;
    font-variant-numeric: normal ;
}

/* For complex number i,j symbols */
main.bodycontainer span.ijit {font-style: italic; font-variant: normal}
main.bodycontainer span.ijup {font-style: normal; font-variant: normal}

main.bodycontainer span.textsc,main.bodycontainer  div.textsc {
    font-variant: small-caps;
    font-variant-numeric: oldstyle-nums ;
}

main.bodycontainer span.textulc,main.bodycontainer  div.textulc {
    font-variant: normal ;
    font-variant-numeric: normal ;
}

main.bodycontainer span.textsl,main.bodycontainer  div.textsl { font-style: oblique; }

main.bodycontainer span.textrm,main.bodycontainer  div.textrm {
    font-family: "DejaVu Serif", "Bitstream Vera Serif",
    "Lucida Bright", Georgia, serif;
}

main.bodycontainer span.textsf,main.bodycontainer  div.textsf {
     font-family: "DejaVu Sans", "Bitstream Vera Sans",
        Geneva, Verdana, sans-serif ;
}

/* nfssext-cfr lining figures */
main.bodycontainer span.textln,main.bodycontainer  div.textln {
    font-variant-numeric: lining-nums ;
}

/* nfssext-cfr proportional figures */
main.bodycontainer span.textp,main.bodycontainer  div.textp {
    font-variant-numeric: proportional-nums ;
}

/* nfssext-cfr tabular figures */
main.bodycontainer span.textt,main.bodycontainer  div.textt {
    font-variant-numeric: tabular-nums ;
}

/* nfssext-cfr font weights */
main.bodycontainer span.textdb,main.bodycontainer  div.textdb {
    font-weight: 500 ;
}

main.bodycontainer span.textsb,main.bodycontainer  div.textsb {
    font-weight: 600 ;
}

main.bodycontainer span.texteb,main.bodycontainer  div.texteb {
    font-weight: 800 ;
}

main.bodycontainer span.textub,main.bodycontainer  div.textub {
    font-weight: 900 ;
}

main.bodycontainer span.textlg,main.bodycontainer  div.textlg {
    font-weight: 300 ;
}

main.bodycontainer span.textel,main.bodycontainer  div.textel {
    font-weight: 200 ;
}

main.bodycontainer span.textul,main.bodycontainer  div.textul {
    font-weight: 100 ;
}

main.bodycontainer span.textcircled { border: 1px solid black ; border-radius: 1ex ; }

main.bodycontainer span.underline {
    text-decoration: underline ;
    text-decoration-skip: auto ;
}

main.bodycontainer span.overline {
    text-decoration: overline ;
    text-decoration-skip: auto ;
}

main.bodycontainer div.hrule { border-top: 1px solid silver }

/* for vertical text: */
main.bodycontainer div.verticalrl { writing-mode: vertical-rl }
main.bodycontainer div.horizontaltb { writing-mode: horizontal-tb }

/* for diagbox */
main.bodycontainer div.diagboxtitleN { border-bottom: 1px solid gray }
main.bodycontainer div.diagboxtitleS { border-top: 1px solid gray }

main.bodycontainer div.diagboxE {
    padding-left: 2em ;
    text-align: right ;
}

main.bodycontainer div.diagboxW {
    padding-right: 2em ;
    text-align: left ;
}

/* For realscripts */
main.bodycontainer .supsubscript {
    display: inline-block;
    text-align:left ;
}

main.bodycontainer .supsubscript sup,main.bodycontainer 
.supsubscript sub {
    position: relative;
    display: block;
    font-size: .7em;
    line-height: 1;
}

main.bodycontainer .supsubscript sup {
    top: .3em;
}

main.bodycontainer .supsubscript sub {
    top: .3em;
}

main.bodycontainer div.attribution p {
    text-align: right ;
    font-size: 80%
}

main.bodycontainer span.poemtitle {
  font-size: 120% ; font-weight: bold;
}

main.bodycontainer pre.tabbing {
    font-family: "Linux Libertine Mono O", "Lucida Console",
        "Droid Sans Mono", "DejaVu Mono", "Bitstream Vera Mono",
        "Liberation Mono", "FreeMono", "Andale Mono",
        "Nimbus Mono L", "Courier New", monospace;
}

main.bodycontainer blockquote {
    display: block ;
    margin-left: 2em ;
    margin-right: 2em ;
}

/* quotchap is for the quotchap package */
main.bodycontainer div.quotchap {
    display: block ;
    font-style: oblique ;
    overflow-x: auto ;
    margin-left: 2em ;
    margin-right: 2em ;
}

main.bodycontainer blockquote p,main.bodycontainer  div.quotchap p {
    line-height: 1.5;
    text-align: left ;
    font-size: .85em ;
}

/* qauthor is for the quotchap package */
main.bodycontainer div.qauthor {
  display: block ;
  text-align: right ;
  margin-left: auto ;
  margin-right: 2em ;
  font-size: 80% ;
  font-variant: small-caps;
}

main.bodycontainer div.qauthor p {
  text-align: right ;
}

main.bodycontainer div.epigraph,main.bodycontainer  div.dictum {
  line-height: 1.2;
    text-align: left ;
    padding: 3ex 1em 0ex 1em ;
/*     margin: 3ex auto 3ex auto ; */ /* Epigraph centered */
    margin: 3ex 1em 3ex auto ; /* Epigraph to the right */
/*    margin: 3ex 1em 3ex 1em ; */ /* Epigraph to the left */
    font-size: .85em ;
    max-width: 27em ;
}

main.bodycontainer div.epigraphsource,main.bodycontainer  div.dictumauthor {
    text-align:right ;
    margin-left:auto ;
/*     max-width: 50% ; */
    border-top: 1px solid #A0A0A0 ;
    padding-bottom: 3ex ;
    line-height: 1.2;
}

main.bodycontainer div.epigraph p,main.bodycontainer  div.dictum p { padding: .5ex ; margin: 0ex ;}
main.bodycontainer div.epigraphsource p,main.bodycontainer  div.dictumauthor p { padding: .5ex 0ex 0ex 0ex ; margin: 0ex ;}
main.bodycontainer div.dictumauthor { font-style:italic }

/* copyrightbox package: */
main.bodycontainer div.copyrightbox { margin: .5ex .5em }
main.bodycontainer div.copyrightbox p {margin: 0px .5em ; padding: 0px}
main.bodycontainer div.copyrightboxnote {text-align: left ; font-size: 60%}

/* lettrine package: */
main.bodycontainer span.lettrine { font-size: 4ex ; float: left ; }
main.bodycontainer span.lettrinetext { font-variant: small-caps ; }

/* ulem, soul, umoline packages: */
main.bodycontainer span.uline {
    text-decoration: underline ;
    text-decoration-skip: auto ;
}

main.bodycontainer span.uuline {
    text-decoration: underline ;
    text-decoration-skip: auto ;
    text-decoration-style: double ;
}

main.bodycontainer span.uwave {
    text-decoration: underline ;
    text-decoration-skip: auto ;
    text-decoration-style: wavy ;
}

main.bodycontainer span.sout {
    text-decoration: line-through ;
}

main.bodycontainer span.oline {
    text-decoration: overline ;
    text-decoration-skip: auto ;
}

main.bodycontainer span.xout {
    text-decoration: line-through ;
}

main.bodycontainer span.dashuline {
    text-decoration: underline ;
    text-decoration-skip: auto ;
    text-decoration-style: dashed ;
}

main.bodycontainer span.dotuline {
    text-decoration: underline ;
    text-decoration-skip: auto ;
    text-decoration-style: dotted ;
}

main.bodycontainer span.letterspacing { letter-spacing: .2ex ; }

main.bodycontainer span.capsspacing {
    font-variant: small-caps ;
    letter-spacing: .1ex ;
}

main.bodycontainer span.highlight { background: #F8E800 ; }

/* keystroke package: */
main.bodycontainer span.keystroke {
    border-style: outset ;
    padding: 0pt .5em 0pt .5em ;
}

main.bodycontainer   {
  margin: 0 ;
  line-height: 1.2;
}

main.bodycontainer  div {
  margin: 0ex;
}

main.bodycontainer div.book,main.bodycontainer  h1,main.bodycontainer  h2,main.bodycontainer  h3,main.bodycontainer  h4,main.bodycontainer  h5,main.bodycontainer  h6,main.bodycontainer  span.paragraph,main.bodycontainer  span.subparagraph
{
    font-family: "Linux Libertine O", "Hoefler Text", "Garamond",
        "Bembo", "Janson", "TeX Gyre Pagella", "Palatino",
        "Liberation Serif", "Nimbus Roman No 9 L",  "FreeSerif", Times,
        "Times New Roman", serif;
    font-style: normal ;
    font-weight: bold ;
    text-align: left ;
}

main.bodycontainer h1 {    /* title of the entire website, used on each page */
    text-align: center ;
    font-size: 2.5em ;
    padding: .4ex 0em 0ex 0em ;
}

main.bodycontainer div.book {
    text-align: center ;
    font-size: 2.325em ;
    padding: .4ex 0em 0ex 0em ;
}

main.bodycontainer h2 { font-size: 2.25em }
main.bodycontainer h3 { font-size: 2em }
main.bodycontainer h4 { font-size: 1.75em }
main.bodycontainer h5 { font-size: 1.5em }
main.bodycontainer h6 { font-size: 1.25em }
main.bodycontainer span.paragraph {font-size: 1em ; font-variant: normal ;
    margin-right: 1em ; }
main.bodycontainer span.subparagraph {font-size: 1em ; font-variant: normal ;
    margin-right: 1em ;  }

main.bodycontainer div.minisec {
    font-family: "DejaVu Sans", "Bitstream Vera Sans",
        Geneva, Verdana, sans-serif ;
    font-style: normal ;
    font-weight: bold ;
    text-align: left ;
}

main.bodycontainer h1 {
  margin: 0ex 0em 0ex 0em ;
  line-height: 1.3;
  text-align: center ;
}

main.bodycontainer h2 {
  margin: 1ex 0em 1ex 0em ;
  line-height: 1.3;
  text-align: center ;
}

main.bodycontainer h3 {
  margin: 3ex 0em 1ex 0em ;
  line-height: 1.3;
}

main.bodycontainer h4 {
  margin: 3ex 0em 1ex 0em ;
  line-height: 1.3;
}

main.bodycontainer h5 {
  margin: 3ex 0em 1ex 0em ;
  line-height: 1.3;
}

main.bodycontainer h6 {
  margin: 3ex 0em 1ex 0em ;
  line-height: 1.3;
}

main.bodycontainer div.titlepage {
  text-align: center ;
}

main.bodycontainer .footnotes {
    text-align: left ;
    font-size: .85em ;
    margin: 3ex 2em 0ex 2em ;
    border-top: 1px solid silver ;
}

main.bodycontainer .marginpar,main.bodycontainer  .marginparblock {
    max-width: 50%;
    float: right ;
    clear: both ;
    text-align: left ;
    margin: 1ex 0.5em 1ex 1em ;
    padding: 1ex 0.5em 1ex 0.5em ;
    font-size: 85% ;
    border-top: 1px solid silver ;
    border-bottom: 1px solid silver ;
    overflow-x: auto ;
}

main.bodycontainer .marginpar br { margin-bottom: 2ex ; }

main.bodycontainer div.marginblock,main.bodycontainer  div.marginparblock {
    max-width:50%;
    min-width: 10em; /* room for caption */
    float:right;
    text-align:left;
    margin: 1ex 0.5em 1ex 1em ;
    padding: 1ex 0.5em 1ex 0.5em ;
    overflow-x: auto;
}

main.bodycontainer div.marginblock div.minipage,main.bodycontainer 
div.marginparblock div.minipage {
    display: inline-block ;
    margin: 0pt auto 0pt auto ;
}

main.bodycontainer div.marginblock div.minipage p ,main.bodycontainer 
div.marginparblock div.minipage p
    { font-size: 85%}

main.bodycontainer div.marginblock br ,main.bodycontainer 
div.marginparblock br
    { margin-bottom: 2ex ; }

main.bodycontainer main.bodycontainer {
    float: left ;
    width: 80% ;
}

main.bodycontainer div.bodywithoutsidetoc main.bodycontainer {
    float: none ;
    width: 100% ;
}

main.bodycontainer section.textbody div.footnotes{
    margin: 1ex 2em 2ex 2em ;
    border-bottom: 2px solid silver ;
}

main.bodycontainer .footnoteheader {
    border-top: 2px solid silver ;
    margin-top: 3ex ;
    padding-top: 1ex ;
    font-weight: bold ;
}

main.bodycontainer .mpfootnotes {
    text-align: left ;
    font-size: .85em ;
    margin-left: 1em ;
    border-top: 1px solid silver ;
}

/* Remove footnote top border in the title page. */
main.bodycontainer div.titlepage div.mpfootnotes {
    border-top: none ;
}

main.bodycontainer ul,main.bodycontainer  ol {
  margin: 1ex 1em 1ex 0em;
  line-height: 1.2;
}

main.bodycontainer  dir,main.bodycontainer  menu {
  margin: 3ex 1em 3ex 0em;
  line-height: 1.2;
}

main.bodycontainer li { margin: 0ex 0em 1ex 0em; }

main.bodycontainer li.p { display: inline ; }

main.bodycontainer  {
  margin: 0;
  padding: 0;
}

main.bodycontainer .programlisting {
  font-family: "DejaVu Mono", "Bitstream Vera Mono", "Lucida Console",
        "Nimbus Mono L", "Liberation Mono", "FreeMono", "Andale Mono",
        "Courier New", monospace;
  margin: 1ex 0ex 1ex 0ex ;
  padding: .5ex 0pt .5ex 0pt ;
  overflow-x: auto;
}

main.bodycontainer section.textbody>pre.programlisting {
border-top: 1px solid silver ;
border-bottom: 1px solid silver ;
}

main.bodycontainer div.displaymath {
    text-align: center ;
}

main.bodycontainer div.displaymathnumbered {
    text-align: right ;
    margin-left: 5% ;
    margin-right: 5% ;
    min-width: 2.5in ;
}

@media all and (min-width: 400px) {
    main.bodycontainer div.displaymathnumbered {
        margin-left: 10% ;
        margin-right: 10% ;
    }
}

@media all and (min-width: 800px) {
    main.bodycontainer div.displaymathnumbered {
        margin-right: 20% ;
    }
}

@media all and (min-width: 1200px) {
    main.bodycontainer div.displaymathnumbered {
        margin-right: 30% ;
    }
}

main.bodycontainer .inlineprogramlisting {
  font-family: "DejaVu Mono", "Bitstream Vera Mono", "Lucida Console",
        "Nimbus Mono L", "Liberation Mono", "FreeMono", "Andale Mono",
        "Courier New", monospace;
  overflow-x: auto;
}

main.bodycontainer span.listinglabel {
    display: inline-block ;
    font-size: 70% ;
    width: 4em ;
    text-align: right ;
    margin-right: 2em ;
}

main.bodycontainer div.abstract {
  margin: 2em 5% 2em 5% ;
  padding: 1ex 1em 1ex 1em ;
/*  font-weight: bold ; */
  font-size: 90% ;
    text-align: left ;
}

main.bodycontainer div.abstract dl {line-height:1.5;}
main.bodycontainer div.abstract dt {color:#304070;}

main.bodycontainer div.abstracttitle{
    font-family: "URW Classico", Optima, "Linux Biolinum O",
        "Linux Libertine O", "Liberation Serif", "Nimbus Roman No 9 L",
        "FreeSerif", "Hoefler Text", Times, "Times New Roman", serif;
    font-weight:bold;
    font-size:1.25em;
    text-align: center ;
}

main.bodycontainer span.abstractrunintitle{
    font-family: "URW Classico", Optima, "Linux Biolinum O",
        "Linux Libertine O", "Liberation Serif", "Nimbus Roman No 9 L",
        "FreeSerif", "Hoefler Text", Times, "Times New Roman", serif;
    font-weight:bold;
}

main.bodycontainer .verbatim {
    overflow-x: auto ;
}

main.bodycontainer .alltt {
    overflow-x: auto ;
}

main.bodycontainer .bverbatim {
    margin: 1ex 0pt 1ex 0pt ;
    padding: .5ex 0pt .5ex 0pt ;
    overflow-x: auto ;
}

main.bodycontainer .lverbatim {
    margin: 1ex 0pt 1ex 0pt ;
    padding: .5ex 0pt .5ex 0pt ;
    overflow-x: auto ;
}

main.bodycontainer .fancyvrb {
    margin: 3ex 0pt 3ex 0pt ;
    font-family: "DejaVu Mono", "Bitstream Vera Mono", "Lucida Console",
        "Nimbus Mono L", "Liberation Mono", "FreeMono", "Andale Mono",
        "Courier New", monospace;
}

main.bodycontainer .fancyvrblabel {
    font-size: .85em ;
    text-align: center ;
    font-weight: bold ;
    margin-top: 1ex ;
    margin-bottom: 1ex ;
}

main.bodycontainer .verse {
    font-family: "Linux Libertine Mono O", "Lucida Console",
        "Droid Sans Mono", "DejaVu Mono", "Bitstream Vera Mono",
        "Liberation Mono", "FreeMono", "Andale Mono",
        "Nimbus Mono L", "Courier New", monospace;
    margin-left: 1em ;
}

main.bodycontainer div.singlespace { line-height: 1.2 ; }
main.bodycontainer div.onehalfspace { line-height: 1.5 ; }
main.bodycontainer div.doublespace { line-height: 2 ; }

/* Word processor format output: */
main.bodycontainer div.wpfigure { border: 1px solid red ; margin: .5ex ; padding: .5ex ; }
main.bodycontainer div.wptable { border: 1px solid blue ; margin: .5ex ; padding: .5ex ; }
main.bodycontainer div.wpminipage { border: 1px solid green ; margin: .5ex ; padding: .5ex ;}

/* Minipage environments, vertically aligned to top, center, bottom: */
main.bodycontainer .minipage,main.bodycontainer  .fminipage,main.bodycontainer  .fcolorminipage {
    /* display: inline-block ; */
        /* Mini pages which follow each other will be tiled. */
    text-align:left;
    margin: .25em .25em .25em .25em;
    padding: .25em .25em .25em .25em;
    display: inline-flex;
    flex-direction: column ;
    overflow: auto;
}

main.bodycontainer .inlineminipage {
    display: inline-block ;
    text-align: left
}

/* Paragraphs in the flexbox did not collapse their margins. */
/* Have not yet researched this. */
main.bodycontainer .minipage p {margin: .75ex 0em .75ex 0em ;}

main.bodycontainer .fboxBlock .minipage,main.bodycontainer  .colorbox .minipage,main.bodycontainer  .colorboxBlock .minipage,main.bodycontainer 
.fcolorbox .minipage,main.bodycontainer  .fcolorboxBlock .minipage
    {border: none ; background: none;}

main.bodycontainer .fbox,main.bodycontainer  .fboxBlock { border: 1px solid black ; padding: 4pt }

main.bodycontainer .fbox,main.bodycontainer  .fboxBlock,main.bodycontainer  .fcolorbox,main.bodycontainer  .fcolorboxBlock,main.bodycontainer  .colorbox,main.bodycontainer  .colorboxBlock,main.bodycontainer 
.fminipage,main.bodycontainer  .fcolorminipage
    {display: inline-block}

main.bodycontainer .shadowbox,main.bodycontainer  .shabox {
   border: 1px solid black;
    box-shadow: 3px 3px 3px #808080 ;
     border-radius: 0px ;
    padding: .4ex .3em .4ex .3em ;
    margin: 0pt .3ex 0pt .3ex ;
  display: inline-block ;
}

main.bodycontainer .doublebox {
   border: 3px double black;
     border-radius: 0px ;
    padding: .4ex .3em .4ex .3em ;
    margin: 0pt .3ex 0pt .3ex ;
  display: inline-block ;
}

main.bodycontainer .ovalbox,main.bodycontainer  .Ovalbox {
   border: 1px solid black;
     border-radius: 1ex ;
    padding: .4ex .3em .4ex .3em ;
    margin: 0pt .3ex 0pt .3ex ;
  display: inline-block ;
}

main.bodycontainer .Ovalbox { border-width: 2px ; }

main.bodycontainer .framebox {
   border: 1px solid black;
     border-radius: 0px ;
    padding: .3ex .2em 0ex .2em ;
    margin: 0pt .1ex 0pt .1ex ;
  display: inline-block ;
}

/* mdframed, tcolorbox, shadebox packages */
main.bodycontainer .mdframed,main.bodycontainer  .tcolorbox,main.bodycontainer  .shadebox {
    padding: 0ex ;
    margin: 2ex 0em 2ex 0em ;
    border: 1px solid black ;
}

main.bodycontainer .tcolorbox {
    border-radius: 10pt ;
    margin: 2ex 1em 2ex 1em ;
}

main.bodycontainer .mdframed p,main.bodycontainer  .tcolorbox p { padding: 0ex .5em 0ex .5em ; }

main.bodycontainer .mdframed dl,main.bodycontainer  .tcolorbox dl { padding: 1ex .5em 0ex .5em ; }

main.bodycontainer .mdframedtitle,main.bodycontainer  .tcolorboxtitle {
    padding: .5ex 0pt 0pt 0pt ;
    border-radius: 10pt 10pt 0pt 0pt ;
    display: block ;
    margin-bottom: 1ex ;
    border-bottom: 1px solid silver ;
}

main.bodycontainer .tcolorboxsubtitle .tcolorbox {
    margin: 2ex 0em 2ex 0em ;
    border-radius: 0pt ;
}

main.bodycontainer .mdframedsubtitle {
    display: block ;
}

main.bodycontainer .mdframedsubsubtitle {
    display: block ;
}

main.bodycontainer .mdtheorem {
    padding: 0ex .5em 0ex .5em ;
    margin: 3ex 5% 3ex 5% ;
}

/* framed package */
main.bodycontainer .framed,main.bodycontainer  pre.boxedverbatim,main.bodycontainer  fcolorbox {
    margin: 3ex 0em 3ex 0em ;
   border: 1px solid black;
     border-radius: 0px ;
    padding: .3ex 1em 0ex 1em ;
  display: block ;
}

main.bodycontainer .shaded {
    margin: 3ex 0em 3ex 0em ;
    padding: .3ex 1em .3ex 1em ;
    display: block ;
}

main.bodycontainer .snugframed {
    margin: 3ex 0em 3ex 0em ;
   border: 1px solid black;
     border-radius: 0px ;
  display: block ;
}

main.bodycontainer .framedleftbar {
    margin: 3ex 0em 3ex 0em ;
   border-left: 3pt solid black;
     border-radius: 0px ;
    padding: .3ex .2em .3ex 1em ;
  display: block ;
}

main.bodycontainer .framedtitle {
    margin: 0em ;
    padding: 0em ;
    font-size: 130%
}

main.bodycontainer .framedtitle p { padding: .3em }

/* For the niceframe package: */

main.bodycontainer div.niceframe,main.bodycontainer  div.curlyframe,main.bodycontainer  div.artdecoframe,main.bodycontainer  div.generalframe {
    padding: 1ex ;
    margin: 2ex auto ;
    border-radius: 2ex ;
}

main.bodycontainer div.niceframe {
    border: 6px groove black ;
}

main.bodycontainer div.curlyframe {
    border-left: 3px dotted black ;
    border-right: 3px dotted black ;
    border-radius: 6ex ;
}

main.bodycontainer div.artdecoframe {
    border-left: 10px double black ;
    border-right: 10px double black ;
    border-radius: 6ex ;
}

main.bodycontainer div.generalframe {
    border: 6px groove black ;
}

/* For beamerarticle: */
main.bodycontainer div.beamerframe {
    margin: 3ex 1em 3ex 1em ;
   border: 1px solid gray;
     border-radius: 0px ;
    padding: .3ex 1em 0ex 1em ;
  display: block ;
}

main.bodycontainer dl {
  margin: 1ex 2em 1ex 0em;
  line-height: 1.3;
}

main.bodycontainer li dl { margin-left: 2em }

main.bodycontainer dl dt {
    display: block ;
    float:left ;
    font-weight: bold;
    padding-right: 1em ;
}

main.bodycontainer dl dd { display: block ; }

main.bodycontainer dl dd:after { content: "" ; display: block ; clear: both }

main.bodycontainer dl dd p { margin-top: 0em; }

main.bodycontainer dd ul,main.bodycontainer  dd ol,main.bodycontainer  dd dl {
    clear: both ;
/*    padding-top: 1ex ; */
}

main.bodycontainer nav {
    font-family: "URW Classico", Optima, "Linux Biolinum O",
        "DejaVu Sans", "Bitstream Vera Sans",
        Geneva, Verdana, sans-serif ;
    margin-bottom: 4ex ;
}

main.bodycontainer nav p {
    line-height: 1.2 ;
    margin-top:.5ex ;
    margin-bottom:.5ex;
    font-size: .9em ;
}

main.bodycontainer img,main.bodycontainer  img.hyperimage,main.bodycontainer  img.borderimage {
    max-width: 600px;
    border: 1px solid silver;
    box-shadow: 3px 3px 3px #808080 ;
    padding: .5% ;
    margin: .5% ;
    background: none ;
}

main.bodycontainer img.inlineimage{
    padding: 0px ;
    box-shadow: none ;
    border: none ;
    background: none ;
    margin: 0px ;
    display: inline-block ;
    border-radius: 0px ;
}

main.bodycontainer img.logoimage{
    max-width: 300px ;
    box-shadow: 3px 3px 3px #808080 ;
    border: 1px solid black ;
    background:none ;
    padding:0 ;
    margin:.5ex ;
    border-radius: 10px ;
}

main.bodycontainer .section {
/*
    To have each section float relative to each other:
*/
/*
    display: block ;
    float: left ;
    position: relative ;
    background: white ;
    border: 1px solid silver ;
    padding: .5em ;
*/
    margin: 0ex .5em 0ex .5em ;
    padding: 0 ;
}

main.bodycontainer figure {
    margin: 5ex auto 5ex auto ;
    padding: 1ex 1em 1ex 1em ;
    overflow-x: auto ;
}

/* To automatically center images in figures: */
/*
figure img.inlineimage {
    margin: 0ex auto 0ex auto ;
    display: block ;
}
*/

/* To automatically center minipages in figures: */
/*
figure div.minipage, figure div.minipage div.minipage {
    margin: 1ex auto 1ex auto ;
    display: block ;
}
*/

main.bodycontainer figure figure { margin: 0pt }

main.bodycontainer figure div.minipage p { font-size: 85% ; }

main.bodycontainer figure.subfigure,main.bodycontainer  figure.subtable  {
    display: inline-block ; margin: 3ex 1em 3ex 1em ;
}

main.bodycontainer div.figurecaption .minipage { margin:0 ; padding: 0 }

/* for subcaptions: */
main.bodycontainer figure div.minipage div.figurecaption {
    max-width: 100% ;   /* fallback if min() does not work */
    max-width: min(30em,100%)
}

main.bodycontainer div.minipage figure { border: none ; box-shadow: none ; }
main.bodycontainer div.minipage figure.table { margin: 0ex }
main.bodycontainer div.minipage div.footnotes { margin: 1ex 2em 0ex 2em }

main.bodycontainer div.floatrow { text-align: center; }

main.bodycontainer div.floatrow figure { display: inline-block ; margin: 1ex 2% ; }

main.bodycontainer div.floatfoot { font-size: .85em ;
    border-top: 1px solid silver ; line-height: 1.2 ; }

/* Center if only one line, "start" align if more than one line: */
main.bodycontainer div.figurecaption ,main.bodycontainer  .lstlistingtitle {
    font-size: .85em ;
    font-weight: bold ;
    text-align: start ;
    margin: 1ex auto;
    width: max-content;
    max-width: 100%;
}

/* A marginblock is small, so always center and don't mess with the width. */
main.bodycontainer div.marginblock div.figurecaption {
    width: 100% ;
    text-align: center ;
}

main.bodycontainer figure.subfigure div.figurecaption,main.bodycontainer  figure.subtable div.figurecaption  {
    border-bottom: none ; background: none ;
}

main.bodycontainer div.nonfloatcaption {
    margin: 1ex auto 1ex auto ;
    font-size: .85em ;
    text-align: center ;
    font-weight: bold ;
}

/* For a \RawCaption inside a minipage inside a figure's floatrow: */
main.bodycontainer figure div.floatrow div.minipage div.figurecaption {
    border: none ;
    background: none ;
}

/* For packages such as float, rotfloat, and algorithm2e: */

main.bodycontainer figure.boxed,main.bodycontainer  figure.boxruled {
    border: 1px solid black ;
}

main.bodycontainer figure.ruled {
    border-top: 1px solid black ;
    border-bottom: 1px solid black ;
    border-left: 0px ;
    border-right: 0px ;
    border-radius: 0px ;
    background: none ;
    box-shadow: none ;
}

main.bodycontainer figure.ruled div.figurecaption,main.bodycontainer  figure.boxruled div.figurecaption {
    border-top: 1px solid silver ;
    border-bottom: 1px solid silver ;
}

main.bodycontainer table {
    margin: 1ex auto 1ex auto ;
    border-collapse: separate ;
    border-spacing: 0px ;
    line-height: 1.3 ;
    }

main.bodycontainer table > tbody > tr.hline > td {border-top: 1px solid #808080 ; margin-top: 0ex ;
    margin-bottom: 0ex ; } /* for \hline */

main.bodycontainer tr.tbrule td {border-top: 1px solid black ; margin-top: 0ex ;
    margin-bottom: 0ex ; } /* for \toprule, \bottomrule */

main.bodycontainer td {padding: .5ex .5em .5ex .5em ;}

main.bodycontainer table td.tdl { text-align: left ; vertical-align: middle ; }
main.bodycontainer table td.tdc { text-align: center ; vertical-align: middle ; }
main.bodycontainer table td.tdat { text-align: center ; vertical-align: middle ; padding: 0px ; margin: 0px ; }
main.bodycontainer table td.tdbang { text-align: center ; vertical-align: middle ; }
main.bodycontainer table td.tdr { text-align: right ; vertical-align: middle ; }
main.bodycontainer table td.tdp { text-align: left ; vertical-align: bottom ; }
main.bodycontainer table td.tdm { text-align: left ; vertical-align: middle ; }
main.bodycontainer table td.tdb { text-align: left ; vertical-align: top ; }

main.bodycontainer table td.tvertbarl { border-left: 1px solid black }
main.bodycontainer table td.tvertbarldouble { border-left: 4px double black }
main.bodycontainer table td.tvertbarr { border-right: 1px solid black }
main.bodycontainer table td.tvertbarrdouble { border-right: 4px double black }

main.bodycontainer table td.tvertbarldash { border-left: 1px dashed black }
main.bodycontainer table td.tvertbarldoubledash { border-left: 2px dashed black }
main.bodycontainer table td.tvertbarrdash { border-right: 1px dashed black }
main.bodycontainer table td.tvertbarrdoubledash { border-right: 2px dashed black }

main.bodycontainer table td.tdcenter { text-align: center}
main.bodycontainer table td.tdleft { text-align: left}
main.bodycontainer table td.tdright { text-align: right}

/* for cmidrules: */
main.bodycontainer table td.tdrule {
    border-top: 1px solid #A0A0A0 ;
}

main.bodycontainer table td.tdrulel {
    border-top-left-radius:.5em ;
    border-top: 1px solid #A0A0A0 ;
}

main.bodycontainer table td.tdruler {
    border-top-right-radius:.5em ;
    border-top: 1px solid #A0A0A0 ;
}

main.bodycontainer table td.tdrulelr {
    border-top-left-radius:.5em ;
    border-top-right-radius:.5em ;
    border-top: 1px solid #A0A0A0 ;
}

/* Margins of paragraphs inside table cells: */
main.bodycontainer td.tdp p ,main.bodycontainer  td.tdprule p ,main.bodycontainer  td.tdP p ,main.bodycontainer  td.tdPrule p { padding-top: 1ex ;
    padding-bottom: 1ex ; margin: 0ex ; }
main.bodycontainer td.tdm p ,main.bodycontainer  td.tmbrule p ,main.bodycontainer  td.tdM p ,main.bodycontainer  td.tdMrule p { padding-top: 1ex ;
    padding-bottom: 1ex ; margin: 0ex ; }
main.bodycontainer td.tdb p ,main.bodycontainer  td.tdbrule p ,main.bodycontainer  td.tdB p ,main.bodycontainer  td.tdBrule p { padding-top: 1ex ;
    padding-bottom: 1ex ; margin: 0ex ; }

main.bodycontainer td.tdp ,main.bodycontainer  td.tdprule ,main.bodycontainer  td.tdP ,main.bodycontainer  td.tdPrule
    { padding: 0ex .5em 0ex .5em ; }
main.bodycontainer td.tdm ,main.bodycontainer  td.tdmrule ,main.bodycontainer  td.tdM ,main.bodycontainer  td.tdMrule
    { padding: 0ex .5em 0ex .5em ; }
main.bodycontainer td.tdb ,main.bodycontainer  td.tdbrule ,main.bodycontainer  td.tdB ,main.bodycontainer  td.tdBrule
    { padding: 0ex .5em 0ex .5em ; }

/* table notes: */
main.bodycontainer .tnotes {
    margin: 0ex 5% 1ex 5% ;
    padding: 0.5ex 1em 0.5ex 1em;
    font-size:.80em;
    text-align: left ;
}

main.bodycontainer .minipage .tnotes {
    margin: 0pt ;
    padding: 0pt ;
}

main.bodycontainer .tnotes dl dt p {margin-bottom:0px;}

main.bodycontainer .tnoteitemheader {margin-right: 1em;}

/* for colortbl and cell color */
main.bodycontainer div.cellcolor {
    width: 100% ;
    padding: .5ex .5em .5ex .5em ;
    margin: -.5ex -.5em -.5ex -.5em ;
}

/* for lyluatex */
main.bodycontainer span.lyluatex {
    display: inline-block ;
}

main.bodycontainer div.lyluatex p span.lateximagesource img {
    display: block ;
    margin-top: 3ex ;
    margin-bottom: 3ex ;
}

/* for bigdelim */
main.bodycontainer .ldelim,main.bodycontainer  .rdelim { font-size: 200% }

/* center, flushleft, flushright environments */
main.bodycontainer div.center{text-align:center;}
main.bodycontainer div.center table {margin-left:auto;margin-right:auto;}
main.bodycontainer div.flushleft{text-align:left;}
main.bodycontainer div.flushleft table {margin-left:0em ; margin-right:auto;}
main.bodycontainer div.flushright{text-align:right;}
main.bodycontainer div.flushright table {margin-left:auto ; margin-right: 0em ;}

/* Fancybox */
main.bodycontainer div.Btrivlist table tr td {
    padding: .2ex 0em ;
}

/* program listing callouts: */
main.bodycontainer span.callout {
     font-family: "DejaVu Sans", "Bitstream Vera Sans",
        Geneva, Verdana, sans-serif ;
    border-radius: .5em;
    background-color:black;
    color:white;
    padding:0px .25em 0px .25em;
    margin: 0 ;
    font-weight: bold;
    font-size:.72em ;
}

main.bodycontainer div.programlisting pre.verbatim span.callout{
    font-size: .85em ;
}

main.bodycontainer span.verbatim,main.bodycontainer  span.verb {
    font-family: "DejaVu Mono", "Bitstream Vera Mono", "Lucida Console",
        "Nimbus Mono L", "Liberation Mono", "FreeMono", "Andale Mono",
        "Courier New", monospace;
}

main.bodycontainer div.titlehead
{
    text-align: left ;
    font-style: normal ;
    font-weight: normal ;
    font-style: normal ;
    font-size: .8em ;
    margin: 1ex 0em 1ex 0em ;
}

main.bodycontainer div.subject
{
    text-align: center ;
    font-style: normal ;
    font-weight: bold ;
    font-style: normal ;
    font-size: .8em ;
    margin: 1ex 0em 1ex 0em ;
}

main.bodycontainer div.published
{
    text-align: center ;
    font-variant: normal ;
    font-style: italic ;
    font-size: 1em ;
    margin: 1ex 0em 1ex 0em ;
}

main.bodycontainer div.subtitle
{
    text-align: center ;
    font-variant: normal ;
    font-style: italic ;
    font-size: 1.25em ;
    margin: 1ex 0em 1ex 0em ;
}

main.bodycontainer div.subtitle p { margin: 1ex ; }

main.bodycontainer div.author
{
    text-align: center ;
    font-variant: normal ;
    font-style: normal ;
    font-size: 1em ;
    margin: 1ex 0em 1ex 0em ;
}

main.bodycontainer div.oneauthor {
    display: inline-block ;
    margin: 0ex 1em 0ex 1em ;
}

/*
div.author table {
    margin: 1ex auto 0ex auto ;
    background: none ;
}

div.author table tbody tr td { padding: .25ex ; }
*/

main.bodycontainer span.affiliation {font-size: .85em ; font-variant: small-caps; }

main.bodycontainer div.titledate {
    text-align: center ;
    font-size: .85em ;
    font-style: italic;
    margin: 1ex 0em 1ex 0em ;
}

/* for \LinkHome, \LinkPrevious, and \LinkNext: */
main.bodycontainer a.linkhome { font-weight:bold ; font-size: 1em ;}

main.bodycontainer div.lateximagesource { padding: 0px ; margin: 0px ; display: none; }

main.bodycontainer img.lateximage{
    padding: 0pt ;
    margin: 0pt ;
    box-shadow: none ;
    border: none ;
    background: none ;
    max-width: 100% ;
    border-radius: 0ex ;
    border: none ;
}

main.bodycontainer section.textbody { margin: 0ex 1em 0ex 1em ;}

main.bodycontainer div.multicolsheading { -webkit-column-span: all;
    -moz-column-span: all; column-span: all; }
main.bodycontainer div.multicols {
    -webkit-columns: 3 auto ;
    -moz-columns: 3 auto ;
    columns: 3 auto ;
}
main.bodycontainer div.multicols p {margin-top: 0ex}

/* Used for xfrac and nicefrac: */
main.bodycontainer span.numerator {
    font-size: 60% ;
    vertical-align: .4em ;
}

main.bodycontainer span.denominator {
    font-size: 60%
}

/* Used for algorithm2e: */
main.bodycontainer div.alg2evline{
    margin-left: 1em ;
    padding-left: 1em ;
    border-left: 1px solid black ;
    border-radius: 0px 0px 0px 1ex ;
}

main.bodycontainer div.alg2evsline{
    margin-left: 1em ;
    padding-left: 1em ;
    border-left: 1px solid black ;
}

main.bodycontainer div.alg2enoline{
    margin-left: 1em ;
    padding-left: 1em ;
}

main.bodycontainer span.alg2elinenumber{
    margin-right: .5em ;
    font-size: 60% ;
    color: red ;
}

/* Used for algorithmicx: */
main.bodycontainer span.floatright { float: right ; }

/* keyfloat and tocdata: */
main.bodycontainer .floatnotes {
    margin: 0ex 5% 0ex 5% ;
    padding: 0ex 1em 0ex 1em ;
    font-size:.80em ;
    text-align: left ;
}

main.bodycontainer .authorartist{
    display:block ;
    font-size:.70em ;
    font-style: italic;
}

main.bodycontainer nav .authorartist{ display:inline; }

/* Native LaTeX theorems: */

main.bodycontainer .theoremcontents {
    font-style: italic; margin-top: 3ex ; margin-bottom: 3ex ;
}

main.bodycontainer .theoremlabel {
    font-style: normal; font-weight: bold ; margin-right: .5em ;
}

/* theorem, amsthm, and ntheorem packages */

main.bodycontainer span.theoremheader,main.bodycontainer 
span.theoremheaderplain,main.bodycontainer 
span.theoremheaderdefinition,main.bodycontainer 
span.theoremheaderbreak,main.bodycontainer 
span.theoremheadermarginbreak,main.bodycontainer 
span.theoremheaderchangebreak,main.bodycontainer 
span.theoremheaderchange,main.bodycontainer 
span.theoremheadermargin
{
    font-style:normal ; font-weight: bold ; margin-right: 1em ;
}

main.bodycontainer span.amsthmnameplain,main.bodycontainer 
span.amsthmnamedefinition,main.bodycontainer 
span.amsthmnumberplain,main.bodycontainer 
span.amsthmnumberdefinition
{
    font-style:normal ; font-weight: bold ;
}

main.bodycontainer span.amsthmnameremark,main.bodycontainer 
span.amsthmnumberremark
{font-style:italic ; font-weight: normal ; }

main.bodycontainer span.amsthmnoteplain,main.bodycontainer 
span.amsthmnotedefinition
{font-style:normal ;}

main.bodycontainer span.theoremheaderremark,main.bodycontainer 
span.theoremheaderproof,main.bodycontainer 
span.amsthmproofname
{font-style:italic ; font-weight: normal ; margin-right: 1em ; }

main.bodycontainer span.theoremheadersc
{
    font-style:normal ;
    font-variant: small-caps ;
    font-weight: normal ;
    margin-right: 1em ;
}

main.bodycontainer .theoremendmark {float:right}

main.bodycontainer div.amsthmbodyplain,main.bodycontainer  div.theorembodyplain,main.bodycontainer  div.theorembodynonumberplain,main.bodycontainer 
div.theorembodybreak,main.bodycontainer  div.theorembodynonumberbreak,main.bodycontainer 
div.theorembodymarginbreak,main.bodycontainer 
div.theorembodychangebreak,main.bodycontainer 
div.theorembodychange,main.bodycontainer 
div.theorembodymargin
{
    font-style:italic;
    margin-top: 3ex ; margin-bottom: 3ex ;
}

main.bodycontainer div.theorembodydefinition,main.bodycontainer  div.theorembodyremark,main.bodycontainer  div.theorembodyproof,main.bodycontainer 
div.theorembodyplainupright,main.bodycontainer  nonumberplainuprightsc,main.bodycontainer 
div.amsthmbodydefinition,main.bodycontainer  div.amsthmbodyremark,main.bodycontainer 
div.amsthmproof
{
    font-style: normal ;
    margin-top: 3ex ; margin-bottom: 3ex ;
}

main.bodycontainer span.amsthmnoteremark {}

/* thmbox */

main.bodycontainer .thmbox {
    font-style: italic; margin-top: 3ex ; margin-bottom: 3ex ;
    border: 1px solid gray ;
    padding: 1ex ;
}

main.bodycontainer .thmboxtitle {
    font-style: normal; font-weight: bold ; margin-right: .5em ;
    border-bottom: 1px solid gray ;
}

main.bodycontainer span.thmboxproofname,main.bodycontainer  span.thmboxexamplename {
    font-weight: bold ;
}

main.bodycontainer div.thmboxproof,main.bodycontainer  div.thmboxexample {
    font-size: 0.85em ;
    margin: 2ex ;
}

main.bodycontainer div.thmboxleftbar {
    border-left: 2px solid black ;
    padding-left: 1em ;
}

/* For the backnaur package: */
main.bodycontainer div.backnaur {
    display: block ;
    margin: 2ex 2em 2ex 2em ;
}

main.bodycontainer div.backnaur p {
    margin: .25ex 0ex .25ex 0ex ;
}

main.bodycontainer div.backnaurprod {
    display: inline-block ;
    min-width: 8em ;
    text-align:right ;
}

main.bodycontainer div.backnaurdesc {
    display: inline-block ;
}

/* For the notes package: */
main.bodycontainer div.notesimportantnote,main.bodycontainer  div.noteswarningnote,main.bodycontainer  div.notesinformationnote {
    clear: both ;
    margin: 2ex 2em 2ex 2em ;
    border: 1px solid silver ;
}

main.bodycontainer div.notesicon {
    float:left ;
    display: inline-block ;
    background: gold ;
    padding: 0ex 1em 0ex 1em ;
    margin-right: 1em ;
    font-weight: bold ;
}

main.bodycontainer div.notescontents { font-style: italic }

/* nolbreaks package: */
main.bodycontainer span.nolbreaks { white-space: nowrap ; }

/*
For CSS LaTeX and related logos:
Based on spacing demonstrated by the metafont package.

The subscripts are shrunk instead of lowered below the baseline,
to avoid browser rendering errors with the line height in lists, etc.
*/

main.bodycontainer .latexlogofont {
    font-family: "Linux Libertine O", "Nimbus Roman No 9 L",
        "FreeSerif", "Hoefler Text", Times, "Times New Roman", serif;
    font-variant: normal ;
}

main.bodycontainer .latexlogo {
    font-family: "Linux Libertine O", "Nimbus Roman No 9 L",
        "FreeSerif", "Hoefler Text", Times, "Times New Roman", serif;
}

main.bodycontainer .latexlogosup {
  text-transform: uppercase;
  letter-spacing: .03em ;
  font-size: 0.7em;
  vertical-align: 0.25em;
  margin-left: -0.4em;
  margin-right: -0.15em;
}

main.bodycontainer .latexlogosub {
  text-transform: uppercase;
/*  vertical-align: -0.27ex; */
  margin-left: -0.08em;
  margin-right: -0.07em;
/*  font-size: 1em; */
    font-size: .7em ;
}

main.bodycontainer .latexlogotwoe {
  text-transform: none ;
  font-variant-numeric: oldstyle-nums ;
}

main.bodycontainer .latexlogotwoesub {
  font-style:italic ;
/*  vertical-align: -0.27ex; */
  margin-left: -0.11em;
  margin-right: -0.1em;
/*  font-size: 1em; */
    font-size: .7em ;
}

main.bodycontainer .xelatexlogo {
    font-family: "Linux Libertine O", "Nimbus Roman No 9 L",
        "FreeSerif", "Hoefler Text", Times, "Times New Roman", serif;
    letter-spacing: .03em ;
}

main.bodycontainer .xelatexlogosub {
/*  vertical-align: -0.27ex; */
  margin-left: -0.0667em;
  margin-right: -.05em;
/*  font-size: 1em; */
    font-size: .7em ;
  letter-spacing: .03em ;
}

main.bodycontainer .amslogo {
    font-family: "TeXGyreChorus","URW Chancery L",
        "Apple Chancery","ITC Zapf Chancery","Monotype Corsiva",
        "Linux Libertine O", "Nimbus Roman No 9 L",  "FreeSerif",
        "Hoefler Text", Times, "Times New Roman", serif ;
    font-style: italic ;
}

main.bodycontainer .lyxlogo {
    font-family: "URW Classico", Optima, "Linux Biolinum O",
        "DejaVu Sans", "Bitstream Vera Sans", Geneva,
        Verdana, sans-serif ;
}

/* Only display top and bottom navigation if a small screen: */
/* Hide the sidetoc if a small screen: */
main.bodycontainer nav.topnavigation { display:none; }
main.bodycontainer nav.botnavigation { display:none; }

/* Only display the sidetoc's webpage title if a small screen */
main.bodycontainer span.sidetocthetitle { display: none }

@media screen and (max-width: 100em) {
    main.bodycontainer div.multicols {
        -webkit-columns: 2 auto ;
        -moz-columns: 2 auto ;
        columns: 2 auto ;
    }
}

@media screen and (max-width: 50em) {
    main.bodycontainer div.sidetoccontainer {
        float: none ;
        width: 100% ;
        padding: 0 ;
        border-radius: 0 ;
        border-bottom: 1px solid black ;
        border-top: 1px solid black ;
        box-shadow: none ;
    }
    main.bodycontainer span.sidetocthetitle { display: inline }
    main.bodycontainer nav.topnavigation { display:block }
    main.bodycontainer nav.botnavigation { display:block }
    main.bodycontainer main.bodycontainer { width: 100% }
    main.bodycontainer .marginpar {
        max-width: 100%;
        float: none;
        display:block ;
        margin: 1ex 1em 1ex 1em ;
    }
    main.bodycontainer div.multicols {
        -webkit-columns: 1 auto ;
        -moz-columns: 1 auto ;
        columns: 1 auto ;
    }
}

@media print {
    main.bodycontainer  {
        font-family: "Linux Libertine O",
        "DejaVu Serif", "Bitstream Vera Serif",
        "Liberation Serif", "Nimbus Roman No 9 L",
        "FreeSerif", "Hoefler Text", Times, "Times New Roman", serif;
    }
    main.bodycontainer div.sidetoccontainer { display:none; }
    main.bodycontainer nav.topnavigation { display: none; }
    main.bodycontainer nav.botnavigation { display: none; }
    main.bodycontainer main.bodycontainer { width: 100% }
}

@media handheld {
    main.bodycontainer div.sidetoccontainer { display:none; }
    main.bodycontainer nav.topnavigation { display:block }
    main.bodycontainer nav.botnavigation { display:block }
    main.bodycontainer main.bodycontainer { width: 100% }
}

@media projection {
    main.bodycontainer div.sidetoccontainer { display:none; }
    main.bodycontainer nav.topnavigation { display:block }
    main.bodycontainer nav.botnavigation { display:block }
    main.bodycontainer main.bodycontainer { width: 100% }
}
/*************************************************************/
/* Part: style.css */
body {
    margin: 0;
    font-family: Arial, sans-serif;
    background: white;
}
	
/* Header + Footer */
header, footer {
    background: #20232a;
	/*background: #101060;*/
    color: white;
    padding: 15px;
    text-align: center;
}

header h1 {
	margin: 0;
	font-family: Arial, sans-serif;
	font-size: 2.0em;
	padding: 0ex 0em 0ex 0em;
	line-height: 1.0;
	font-weight: bold;
}

/*Migatec logo*/
span.logocolor {
	/*color: LightSkyBlue;*/
	/*color: #a0e0ff;*/
	color: #C0f0ff;
	font-style: italic;
}	
	
/* Layout grid */
.layout {
    display: flex;
    min-height: calc(100vh - 120px);
}
/* Sidebar */
.sidebar {
    width: 170px;
    background: #f0f0f0;
    padding: 10px;
    border-right: 1px solid #ddd;
}
.sidebar ul {
    list-style: none;
    padding: 0;
}
.sidebar li {
    margin: 10px 0;
}
.sidebar a {
    color: #333;
    text-decoration: none;
	 font-weight: bold;
}
.sidebar a:hover {
    color: #0077cc;
}
/* Main content */
.content {
    flex-grow: 1;
    padding: 20px;
    background: white;
	max-width: 60em
}
	
/* Selected link*/
.current {
    background:#ff0000;
    padding:0 15px;
}



/*************************************************************/
/* Part: PasswortWuerfeltabelle */
.console {
  font-family: "Consolas", monospace;
  display: inline-block
}
main.bodycontainer {
	max-width: 60em;
}
/* ( --- End of PasswortWuerfeltabelle.css --- ) */