body  { position: relative;
	margin: 6; 
	padding: 0;
	color: rgb(0, 0, 0);
	background: rgb(255, 255, 255) ; 
	font-size: 12px;
	font-family: Verdana, sans-serif;
      }

td {	font-family: Verdana, Arial, Helvetica, sans-serif;
	}

dl {	font-family: Verdana, Arial, Helvetica, sans-serif;
	}
dt {	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-weight: bold;
	}
dd {	font-family: Verdana, Arial, Helvetica, sans-serif;
	}
	
ul.bullet, ol.bullet
{ 	list-style-type: square;
	list-style-position: outside;
	font-size:120%;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	}
	
pre { 
        background-color: 	rgb(215, 255, 215); 
        font-family: Courier, MS Courier New ;  // Prestige, Everson Mono, , monospace
	font-size:110%;
	font-weight: bold;
}


span.sisuk_2 { 
	color: rgb(0, 0, 0); 
	font-size: 150%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }

span.sisuk_3 { 
	color: rgb(0, 0, 0); 
	font-size: 120%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }

span.sisuk_4 { 
	color: rgb(0, 0, 0); 
	font-size: 100%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }

h1.pealkiri { 
	color: rgb(0, 0, 0); 
	background-color: rgb(215, 215, 215);
	padding: 0.25em; 
	margin: 0.25em -5px 0.25em;
	border: 1px solid rgb(128, 128, 128); 
	font-size: 170%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }

h2.pealkiri { 
	color: rgb(0, 0, 0); 
	background-color: rgb(215, 215, 215);
	padding: 0.25em; 
	margin: 0.25em -5px 0.25em;
	border: 1px solid rgb(128, 128, 128); 
	font-size: 150%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }

h3.pealkiri { 
	color: rgb(0, 0, 0); 
	background-color: rgb(215, 215, 215);
	padding: 0.25em; 
	margin: 0.25em -5px 0.25em;
	border: 1px solid rgb(128, 128, 128); 
	font-size: 120%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }

h4.pealkiri { 
	color: rgb(0, 0, 0); 
	background-color: rgb(215, 215, 215);
	padding: 0.25em; 
	margin: 0.25em -5px 0.25em;
	border: 1px solid rgb(128, 128, 128); 
	font-size: 110%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }


A:Link {
	color: #330099;
	background-color: transparent;
}

A:Visited  {
	color: #330099;
	background-color: transparent;
}

A:Active  {
	color: #330099;
	background-color: transparent;
}

A:Hover  {
	color: #6699CC;
	background-color: transparent;
}



div#sisu h2
      { color: rgb(64, 64, 64); 
	background-color: rgb(215, 215, 215);
	padding: 0.5em; 
	margin: 0.5em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }





/* 
 * Style sheet for Department of Computer Science, University of Helsinki
 * This is a universal version for all browsers. 
 *
 * Petri Kutvonen, Dec 2003
 * Last edited by Petri Kutvonen, Jan 2004
 *
 */

h1    { letter-spacing: 0.1em; 
	margin: 0.5em 0 1em; 
	font-size: 150%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }
h2    { font-size: 133%;
	font-family: Verdana, sans-serif;
      }
h3    { font-size: 110%;
	font-family: Verdana, sans-serif;
      }
h4    { font-size: 100%;
	font-family: Verdana, sans-serif;
	font-weight: bold;
      }
h5    { font-size: 100%;
	font-family: Verdana, sans-serif;
	font-style: italic;
      }
h6    { font-size: 100%;
	font-family: Verdana, sans-serif;
      }
dt    { font-weight: bold;
      }
dd    { margin-bottom: 0.66em;
      }
code, pre, tt
      { color: rgb(68, 68, 68);
	font-family: "Courier New", Courier, monospace;
      }
code, tt  
      { font-size: 110%;
      }
td, th
      { font-size: 12px;  /* Bug in Mozilla prevents using relative size */
	font-family: Verdana, sans-serif;
      }
address
      { margin-left: 1em;
      }
small { font-size: 87%;
      }
big   { font-size: 115%;
      }
div#id
      { position: absolute;
	width: 100%;
	border-top: 1px solid rgb(128, 128, 128);
	border-bottom: 1px solid rgb(128, 128, 128);
      }
@media print
      { div#id
		{ width: 680px;
		}
      }
div.id
      { background-color: rgb(215, 215, 215); 
	padding: 0; 
	margin: 1em 0 0.5em 0;
      }
div#id td.idaddr
      { font-size: 14px;  /* Bug in Mozilla prevents using relative size */
	font-family: Arial, Helvetica, sans-serif;
	padding: 0.7em 2em 0.7em 2em;
	letter-spacing: 0.1em;
	text-align: right;
	color: rgb(64, 64, 64); 
      }
div#links 
      { position: absolute;
/*	height: 2000px;  */ /* Scrollbar bug in Konqueror 3 requires this */
	margin-top: 12em; margin-left: 0; 
	width: 14em; 
	font-family: Verdana, sans-serif;
	font-weight: bold;
	font-size: 100%;
      }
@media print 
      { div#links
	      { display: none;
	      }
      }
div#links a
      { display: block;
   	padding: 4px 10px; 
	margin: 0 0 3px; 
	border-width: 0;
	text-decoration: none; 
	color: rgb(242, 242, 242);
	background-color: rgb(30, 28, 119);
      }
div#links a:hover 
      { color: rgb(255, 255, 255);
	background-color: rgb(62, 60, 151);
      }
div.slogan
      { letter-spacing: 0.1em;
	margin: 0.5em 0 0.5em; 
	font-size: 167%;
	font-family: Arial, Helvetica, sans-serif;
	font-weight: bold;
	font-style: italic;
	text-shadow: 0.2em 0.2em 0 rgb(0, 0, 0);
	text-align: center;
	color: rgb(255, 255, 255);
	background-color: rgb(215, 215, 215);
	padding: 0.33em 1em 0.33em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content 
      { position: absolute; 
	padding: 10px;
	font-size: 100%;
	font-family: Verdana, sans-serif; 
	border: 1px dotted rgb(48, 48, 48);
	color: rgb(0, 0, 0);
	background: rgb(255, 255, 255);
      }
@media screen
      { div#content
	      { width: auto;
		max-width: 67em;		/* This is CSS2 */
		width: expression("720px");	/* Only IE understands this */
		margin: 12em 1em 5em 15em;
	      }
      } 
@media print
      { div#content
	      { width: 680px;
		margin: 12em 1em 5em 1em;
	      }
      } 
div#content p 
      { margin: 0 1em 1em; 
	padding: 0; 
	line-height: 1.3em;
      }
div#content a:link 
      { color: rgb(30, 28, 119);
      }
div#content a:visited
      { color: rgb(80, 80, 100);
      }
div#content a:link:hover 
      { color: rgb(204, 0, 0);
      }
div#content a:visited:hover 
      { color: rgb(176, 48, 96);
      }
div#content h1 
      { color: rgb(64, 64, 64);
	background-color: rgb(215, 215, 215);
	padding: 0.5em 1.3em;
	margin: 0.5em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content h2
      { color: rgb(64, 64, 64); 
	background-color: rgb(215, 215, 215);
	padding: 0.5em; 
	margin: 0.5em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content h3
      { color: rgb(64, 64, 64); 
	background-color: rgb(215, 215, 215);
	padding: 0.5em; 
	margin: 0.5em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content p#langtabs a.alang, div#content p#langtabs a.ilang
      { font-family: Verdana, sans-serif;
	font-size: 87%;
        font-weight: bold;
	color: rgb(64, 64, 64);
        text-decoration: none;
	padding: 3px 6px;
	border: 1px solid rgb(128, 128, 128);
      }
div#content p#langtabs a.alang
      { background: rgb(255, 255, 255);
      }
div#content p#langtabs a.ilang
      { background: rgb(215, 215, 215);
      }