/* Pascal's style sheet */

/* body */
body
{

  background-color: #A0A0FF;
  color: #000000;
/*
  background-color: #000000;
  color: #FFFFFF;
*/
  font-family: Verdana, Ariel, Helvetica;
  font-size: 1.0em;
  margin-top: 0.0em;
  margin-left: 0.0em;
  margin-right: 0.0em;
}

.title
{
  font-family: Verdana, Ariel, Helvetica;
  font-size: 2.0em;
  font-weight: bolder;
  margin-top: 0.0em;
  margin-left: 0.0em;
  margin-right: 0.0em;
  color: #202020;
  background-color: #A0A0A0;
}

/* hyperlink */
a
{
  color: #0000FF;
  font-size: 1.0em;
  text-decoration: none;
}

a:hover
{
  color: #FFFFFF;
  text-decoration: none;
  background-color: #0000FF;
}

/* tables */
th
{
# color: #90A0A0;
# background-color: #606060;
  color: #202020;
  background-color: #A0A0A0;
}

th.title
{
  font-size: 1.5em;
  font-weight: bolder;
}


tmptd
{
  color: #000000;
  background-color: #808080
}

.header
{
  margin-top: 0.0em;
  margin-left: 0.0em;
  margin-right: 0.0em;
  font-size: 2.2em;
  font-weight: bold;
}   

.headerbig
{
  margin-top: 2.2em;
  margin-left: 0.0em;
  margin-right: 0.0em;
  font-size: 1.8em;
  font-weight: bold;
}

.navigator
{
  background-color: #386B38;
  color: #FFFFFF;
  font-family: Verdana, Ariel, Helvetica;
  font-size: 0.9em;
  padding-top: 0.0em;
  border-top: 0.0em;
  margin-top: 0.0em;
  width: 100%;
}


.highlight
{
  background-color: #C0C0FF;
  color: #804020;
}

.warning
{
  background-color: #FF0000;
  color: #FFFFFF;
  font-family: Verdana, Ariel, Helvetica;
  font-size: 0.9em;
  padding-top: 0.0em;
  border-top: 0.0em;
  margin-top: 0.0em;
}

.rose
{
  background-color: #FF8080;
}

.note 
{ 
  font-size: 0.8.5em;
  font-weight: bolder;
}

.notice      
{ 
  font-size: 0.8em;
  color: #502050;
  background-color: #909060;
  font-weight: bolder;
}

.code
{
  font-size: 0.8em;
  color: #101010;
  background-color: #A0A0A0;
}

.linenr
{
  font-size: 0.8em;
  color: #A0A0A0;
  background-color: #404040;
}