/*  Stylesheet for http://www.cs.helsinki.fi/u/hhaataja/ */

BODY  {
  color : black;
  background-color : white;
  margin-left: 1cm;
  margin-right: 1cm;
  min-width: 40ex;
  max-width: 78ex;
}

PRE , TT , CODE , KBD , SAMP {
  font-family : monospace;
}

p, address {
  font-size: 10pt;
/*  margin-left: 2.5mm; */
  font-family : sans-serif;
  text-align: justify;
}

p.first {
  text-indent: 2em;
}

dl, ol, ul{
  font-size: 10pt;
  font-family : sans-serif;
  text-align: left;
}

/* Something funny. DL doesn't inherit P maybe? */
dl {
  margin-left: 12mm;
}

/** Headings */

H1 {
  font-size : 18pt;
  text-align : center;
}
H2 {
  font-size : 14pt;
  text-align : left;
}
H3 {
  font-size : 12pt;
  text-align : left;
}

IMG {
  border : none;
}

HR {
  height: 2px;
  background: silver;
  border: none;
  width: 100%;
}

/** Special classes */

a:active {
  color : white;
  background-color : black;
}
a:link {
  color : #8888BB;
  background-color : white;
}
a:hover {
  color : #99CCFF;
  background-color : white;
}
a:visited {
  color : #666655;
  background-color : white;
}

a:active.button {
  color : black;
  background-color : silver;
}
a:link.button {
  color : black;
  background-color : silver;
}
a:hover.button {
  color : black;
  background-color : silver;
}
a:visited.button {
  color : black;
  background-color : silver;
}

div.titlebar { 
  background-color : #737b9c;
  text-align: center;
  font-size: 10pt;
  color: white;
  font-weight: bold;
  width: 100%;
  margin: 0;
}

div.button {
  background-color : silver;
  width : 20ex;
  padding : 3mm;
  text-align: center;
  color: black;
  font-weight: bold;
  font-family : sans-serif;
  border : outset;
}