body  {
  color:black;
  background-color:white;
  font-family:Ubuntu,sans-serif;
  text-align:justify;
  font-size:100%;
  margin-left:7%;
  margin-right:7%;
}

p,li  {
  line-height:1.5;
}

p.langlist  {
  text-align:left;
  line-height:1.5;
  margin-left:15%;
  margin-right:20%;
}

h1  {
  text-align:center;
  font-weight:bold;
  font-size:1.6em;
  margin-top:2em;
  margin-bottom:1.5em;
}

h3  {
  font-size:1.2em;
  text-align:left;
  font-weight:bold;
  letter-spacing:0.03em;
  word-spacing:0.1em;
  margin-top:1.6em;
  margin-bottom:1.2em;
}

h4  {
  font-size:1.0em;
  font-style:italic;
  text-align:left;
  font-weight:bold;
  letter-spacing:0.03em;
  word-spacing:0.1em;
  margin-top:1.4em;
  margin-bottom:1.1em;
}

td  {
  padding-left:.5em;
  padding-right:.5em;
  padding-top:.1em;
  padding-bottom:.2em;
  margin:0pt;
  color:black;
  background-color:white;
}

td.topbar  {
  padding:0pt;
  margin:0pt;
  display:none;
}

span.csc  {font-variant:small-caps}

tt,code  {
  font-family:Ubuntu Mono,Consolas,monospace;
  font-weight:bold;
  color:black;
  font-size:1.3em;
}

pre  {
  margin-top:1.0em;
  margin-bottom:1.0em;
  color:black;
  background-color:white;
  border-color:gray;
  border-style:solid;
  border-top-width:0pt;
  border-bottom-width:0pt;
  border-left-width:0pt;
  border-right-width:0pt;
  padding-left:0pt;
  padding-top:0.4em;
  padding-bottom:0.6em;
  font-family:Ubuntu Mono,Consolas,monospace;
  font-size:1.1em;
}

span.pseudo  {  /* preprocessor etc */
  color:black;
  font-weight:bold;
}

span.command  {  /* statement, operator */
  color:black;
  font-weight:bold;
}

span.bif  {  /* built-in procedure/function or operator */
  color:black;
}

span.typename  {  /* typename and similar */
  color:black;
  font-weight:bold;
}

span.identifier  {  /* library procedure/function */
  color:black;
}

span.constant  {  /* numbers, chars, strings */
  color:black;
}

span.special  {  /* special name, symbol, escape/formating sequence etc */
  color:black;
}

span.sectsep  {  /* section separator */
  color:black;
  font-weight:bold;
}

span.comment  {
  color:#404040;
  background-color:#c0c0c0;
  font-style:italic;
}

a  {
  text-decoration:none;
  border:none;
  padding-left:0pt;
  padding-right:0pt;
}
a:link    {color:black}
a:visited {color:black}
a:hover   {background-color:white; color:black}

a.invis  {
  border:none;
  padding:0px;
  display:none;
}

a.topbar  {
  border:none;
  padding-left:3pt;
  padding-right:3pt;
}
a:link.topbar    {color:white}
a:visited.topbar {color:white}
a:hover.topbar   {color:white;background-color:white}

a.lang  {
  border:none;
  margin-left:10pt;
  margin-right:0pt;
  padding-left:0pt;
  padding-right:0pt;
}
a:link.lang    {color:black; background-color:white}
a:visited.lang {color:black; background-color:white}
a:hover.lang   {color:black; background-color:white}

a.impl  {
  border:none;
  margin-left:4pt;
  margin-right:4pt;
  padding-left:0pt;
  padding-right:0pt;
}
a:link.impl    {color:black; background-color:white}
a:visited.impl {color:black; background-color:white}
a:hover.impl   {color:black; background-color:white}

hr  {
  margin:0pt;
  display:none;
}