/*** base ***/

body
{
  color: black;
  background-color: white;
  font-family: sans-serif;
}


/*** links ***/

:link { color: blue }
:visited { color: #6600CC }
a:active { color: red }

a.site:link { color: blue }
a.site:visited { /*default*/ }
a.external:before
{
  /*content: url("/global/ext-link.png") buggy in Mozilla*/
  /*content: "^ "*/
}
a.external:link { color: green }
a.external:visited { color: teal }
a.page:link { color: fuchsia }
a.page:visited { color: fuchsia }
a.generated:link { color: #7777FF; /*light blue*/ }
a.generated:visited { /*default*/ }


/*** structure ***/

code
{
  font-style: italic;
}
code, samp, pre
{
  font-family: monospace;
}
pre.pretty
{
  font-family: inherit;
}

.legal
{
  margin-top: 1em;
  font-size: 8pt;
}


/*** header ***/

#bodytitle
{
  display: block;
  color: white;
  background-color: black;
  font-size: 200%;
  width: 100%;
  margin-top: 3px;
  margin-bottom: 0.5em;
  padding: 2px
}
p#aftertitle
{
  display: none;
  margin: 0em 0em 0em 0em
}
.subtitle
{
  display: block;
  font-style: italic;
  letter-spacing: 0.1em;
  word-spacing: 0.2em;
  width: 100%;
  margin-bottom: 0.5em
}


/*** footer ***/

#footer
{
  display: block;
  text-align: right;
  margin-top: 3px
}
#childs
{
  font-size: 80%
}
#childs .child
{
  display: block
}
#childs .delimiter
{
  display: none
}
#about
{
  font-size: 80%;
  padding: 3px
}