body
{font-family:monospace;
 background-color:#edb;}

/*----------------------------------- div ------------------------------------*/

div.header
{}

div.main
{}

div.footer
{margin-top:10ex}

div.footnotes
{margin-top:4ex}

div.footnoterule
{width:30%;
 border-style:solid;
 border-width:0px;
 border-top-width:1px}

div.page
{margin-top:2em;
 margin-bottom:2em;
 margin-left:auto;
 margin-right:auto;
 border-style:solid;
 border-width:1px;
 padding:10%;
 width:40%;
 background-color:white}

div.naviagation
{margin:0px}

div.title
{text-align:center;
 margin-top:0px;
 margin-bottom: 4ex}

div.package
{padding-bottom:2ex;
 border-top:solid;
 border-top-width:2px;}

/*------------------------------------ h2 ------------------------------------*/

h2.package
{margin-top:1ex;
 margin-bottom:0.5ex;
 margin-left:0ex}

/*------------------------------------ p -------------------------------------*/

p.footer
{margin:0px}

p.title
{text-align:center;
 margin-bottom:0.5ex;
 font-family:monospace;
 font-weight: normal;
 font-size:300%}

p.subtitle
{margin-top:0px;
 margin-left:1ex}

p.author
{text-align:center}

p.about
{margin:0px}

p.release
{margin:0px}

p.description
{margin-top:1ex}

p.footer
{text-align:center}

/*----------------------------------- span -----------------------------------*/

span.key
{}

span.description
{font-weight:bold}

span.footnotemark
{font-size:80%; position:relative; top:-0.8ex}

span.opus
{font-style:italic}

span.latextitle
{font-family:serif;
font-size:200%}

/*---------------------------------- LaTeX -----------------------------------*/

span.tex
{font-weight:normal}

span.LA
{letter-spacing:-0.3em}

span.TEX
{letter-spacing:-0.15em}

span.A
{vertical-align:baseline;
 position:relative;
 top:-0.4ex;
 text-transform:uppercase;
 font-size:1.5ex}

span.T
{margin-left:0.2em}

span.E
{vertical-align:baseline;
 position:relative;
 top:0.4ex;
 text-transform:uppercase}