/* 
 * Style sheet for Department of Computer Science, University of Helsinki
 * This is a special floating background version. 
 *
 * Original Source Petri Kutvonen, Dec 2003
 *
 * Modifications made by Carlos Arrastia Aparicio Jan 2004
 *
 */

body  { position: relative;
	margin: 0; 
	padding: 0;
	color: rgb(0, 0, 0);
	background: white;
	font-size: 12px;
	font-family: Verdana, sans-serif;
      }
h1    { font-size: 150%;
	font-family: Verdana, sans-serif;
	font-weight: bold;
      }
h2    { letter-spacing: 0.1em; 
	margin: 0.5em 0 1em; 
	font-size: 150%;
	font-weight: bold;
	font-family: Verdana, sans-serif;
      }
h3    { font-size: 133%;
	font-family: Verdana, sans-serif;
      }
h4    { font-size: 110%;
	font-family: Verdana, sans-serif;
      }
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;
      }
ul, ol, p
      {
	font-family: Verdana, sans-serif;
      }


ul
	{
	list-style-type: square;
		
	}
small { font-size: 87%;
      }
big   { font-size: 115%;
      }
div#id
      { 
	width: 100%;
	border-top: 1px solid rgb(128, 128, 128);
	border-bottom: 1px solid rgb(128, 128, 128);
      }
div.id
      { 
	background-color: rgb(177, 177, 177); 
	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#id p#optiontabs a.aoption, div#id p#optiontabs a.ioption, div#id p#optiontabs a.hoption
      { 
	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#id p#optiontabs a.aoption
      { background: rgb(255, 255, 255);
      }
div#id p#optiontabs a.ioption
      { background: rgb(196, 196, 196);
      }

div#id p#optiontabs a.hoption
      { background: #ffeeaa;
      }

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(191, 191, 191);
	padding: 0.33em 0em 0.33em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content 
      {
	width: 75%;
	padding: 10px 10px 10px 10px;
	font-size: 100%;
	font-family: Verdana, sans-serif;
	border: 1px dotted rgb(48, 48, 48);
	color: rgb(0, 0, 0);
	background: rgb(248, 248, 248);
      }

div#content p 
      { margin: 0 1em 1em; 
	padding: 0; 
	line-height: 1.3em;
      }

div#content pre
      { margin: 0em 2em 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(255, 255, 255); 
	background-color: rgb(102, 102, 102);
	padding: 0.5em; 
	margin: -1.3em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }

div#content h2 
      { color: rgb(64, 64, 64);
	background-color: rgb(191, 191, 191);
	padding: 0.5em 1.3em;
	margin: 0.5em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content h3
      { color: rgb(255, 255, 255); 
	background-color: rgb(191, 191, 191);
	padding: 0.5em; 
	margin: 0.5em -11px 0.5em;
	border: 1px solid rgb(128, 128, 128); 
      }
div#content h4
      { color: rgb(255, 255, 255); 
	background-color: rgb(191, 191, 191);
	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, div#content p#langtabs a.hlang
      { 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(196, 196, 196);
      }

td.infotitle{
	width:25%;
        vertical-align:top;
}
td.infotitle p{
	font-weight:bold;
}
td.infocontent{
	width:75%;
}
img.personimage
{
	border: 1px solid #636363;
}