/* @import "tex2page.css" */

BODY {
  /*margin: 2em;*/
  padding: 1cm 1cm 2cm 1cm;
  font-size: medium;
  font-family: Luxi Serif, Lucida Serif, Lucida Sans, tahoma, Verdana, Courier,
    helvetica, serif, sans-serif;
  border-style: solid;
  border-width: 2pt; /* sets border width on all sides */
  border-color: orange;
  padding: 6%;
  margin-top: 2em;
  margin-left: 8%;
  margin-right: 8%;
  background-color: #26292b;
  color: #c4c4c4;
}

BODY.Home {
  background: Navy;
}

body.framed {
  padding: 10pt;
  border-style: none;
}

body.ascii {
  background-color: Black;
}

/*
P{
   text-indent : 2em;
   }
*/

p.toc {
  text-indent: 0;
}

p.banner {
  text-align: center;
}

P.mmix {
  text-indent: 0;
  font-size: medium;
}

P.tip {
  color: blue;
}

OL {
  list-style-type: decimal;
  padding-bottom: 8px;
  text-indent: 0;
  font-size: medium;
  /*background: gray;*/
}

OL.arabic {
  list-style-type: decimal;
}
OL.cjk {
  list-style-type: cjk-ideographic;
}

OL.roman {
  list-style-type: lower-roman;
}

H2 {
  font-size: 20pt;
  color: navy;
  text-align: left;
}

A {
  text-decoration: none;
  cursor: crosshair;
  border-bottom: 1px dashed gray;
  color: lightblue;
}

A:hover {
  caption-side: left;
  background-color: #ff80ff;
  text-decoration: none;
}

HR {
  color: #2e8b57;
  height: 1pt;
}

UL {
  list-style-type: circle;
}

div {
  border: 1pt;
  border-color: white;
  border-style: solid;
  padding: 10pt;
}

IMG {
  border: 0;
  margin-left: 2pt;
  margin-right: 2pt;
}

img.formula {
  border: thin;
  border-color: blue;
  border-style: solid;
}

pre {
  border: #777777 1px solid;
  color: darkgreen;
  padding: 0.5em;
  margin-left: 1em;
  margin-right: 2em;
  white-space: pre;
  background-color: #9b9b9b;
  font-family: Luxi Mono, Luxi Serif, Luxi Sans, Verdana, Courier, helvetica,
    sans-serif;
  font-size: 90%;
}

.verbatim {
  color: darkgreen;
  font-family: Luxi Mono, Luxi Serif, Luxi Sans, Verdana, Courier, helvetica,
    sans-serif;
}

pre.syntax {
  background: lightblue;
}

pre.error {
  background-color: pink;
}

pre.url {
  background: bisque;
}

em {
  color: red;
  text-decoration: none;
  font-style: normal;
}

em.phrase {
  color: blue;
  text-decoration: none;
  font-style: normal;
}

h1 {
  font: 28px;
  color: #666;
  border-bottom: 5px solid #000;
  padding: 2px;
  margin: 0px;
  margin-bottom: 8px;
}

h1.home {
  color: #102c4a;
  font-size: 34px;
}

h2 {
  color: #666;
  font-size: 22px;
  padding: 2px;
  margin-top: 5px;
  border-bottom: 2px solid #000000;
}

h3 {
  color: #666;
  font-size: 18px;
  padding: 2px;
  margin-top: 5px;
  border-bottom: 1px dashed #000;
}

h4 {
  color: #666;
  font-size: 14px;
  padding: 2px;
  margin-top: 5px;
}

H5 {
  color: red;
  text-align: left;
  font-size: small;
  font-size: 12px;
}

LI {
  margin-top: 3ex;
}

LI.explained {
  color: inherit;
}

p.adage {
  background: lightyellow;
  border: green;
  border-style: solid;
}

/*
#header {
        position: fixed;
        width: 100%;
        height: 15%;
        top: 0;
        right: 0;
        bottom: auto;
        left: 0;
      }

div.tl{ 
        visibility: hidden;
        position: fixed;
        width: 4.2em;
        top: 0;
        right: 0;
        left: 0;
        bottom: auto;
        margin:0;
        padding:5px;
        font:  28px;
        color:#666;
        border-bottom: 5px solid #000;
        padding: 2px;
        margin: 0px;
        margin-bottom: 8px;
        }

div.navigation{ 
                position: fixed;
                width: 30%;
                top: 96%;
                right: 0;
                bottom: auto;
                margin:0;
                padding:5px;
                font:  28px;
                padding: 2px;
                margin: 0px;
                margin-bottom: 8px;
                background: white;
                border-style: dashed;
                border-width: 0.6pt; 
                border-color: orange;
                text-align: center;
                }

*/
div.history {
  background: lightgray;
}