/* 
 * Style sheet for Department of Computer Science, University of Helsinki
 * $Id: tktl-full.css,v 1.4 2004/06/18 07:54:10 hendry Exp $
 * vim:ts=8:noet:
 */

#header { 
          border-right: solid 4em #FF9900;
          padding: 0.5em;
          background: rgb(177, 177, 177) url(/include/decor-177.gif) 0 0 no-repeat fixed;
          font-family: Arial, Helvetica, sans-serif;
          letter-spacing: 0.1em;
          color: rgb(64, 64, 64);

	  /* Could be problematic */
          height: 10em;

          margin-right: 0em;
          margin-left: 0em;
	  border-top: 1px rgb(128, 128, 128) solid;
	  border-bottom: 1px rgb(128, 128, 128) solid;
	  margin-bottom: 1%;
           
        }

#lang { text-align: right; }

.uppercase { text-transform: uppercase; display: block; }
#header h1 { text-transform: uppercase; 
             font-size: 1.5em; margin-bottom: 0em; 
             text-align: right; float: right;}

#sitemap {
    position: absolute;
    list-style: disc;
    }

#sitemap li {
    }
    
#sitemap li ul li{
    list-style: square;
    }

#sitemap li ul li ul li {
    list-style: circle;
    font-weight: bold;
    }

.header h2 { font-size: 1.2em; margin-top: 0em; }
.header address { font-style: normal; }

#footer { text-align: right; font-size: 66%;}

.skipLink {
	position: absolute;
	left: -999px;
	width: 990px;
}

body  { 
	padding: 0%;
	color: rgb(0, 0, 0);
	background: white url(/include/decor-227.gif) 0 0 no-repeat fixed;
	font-family: Verdana, sans-serif;
      }

dl    { padding-left: 1em; }
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;
      }
small { font-size: 87%;
      }
big   { font-size: 115%;
      }
div#links 
      { 
    /* width: auto; */
	top: 13em;
	width: 15em;
	left: 0em;
	position: absolute;
	font-family: Verdana, sans-serif;
	font-weight: bold;
	font-size: 100%;
      }
@media print 
      { div#links
	      { display: none;
	      }
      }
div#links a
      { 
	display: block; 
	text-decoration: none; 
	color: rgb(224, 224, 224);
	background-color: rgb(30, 28, 119);
      }
div#links a:hover 
      { color: rgb(255, 255, 255);
	background-color: rgb(62, 60, 151);
      }

#main 
      { 
	clear: both;
	margin-left: 8%;
	margin-right: 1%;
	border: 1px dotted rgb(48, 48, 48);
	color: rgb(0, 0, 0);
	background: rgb(255, 255, 255) url(/include/decor-241.gif) 0 0 no-repeat fixed;
      }



div#main p 
      { margin: 0 1em 1em; 
	padding: 0; 
	line-height: 1.3em;
      }
div#main a:link 
      { color: rgb(30, 28, 119);
      }
div#main a:visited
      { color: rgb(80, 80, 100);
      }
div#main a:link:hover 
      { color: rgb(204, 0, 0);
      }
div#main a:visited:hover 
      { color: rgb(176, 48, 96);
      }
div#main h2 
      { color: rgb(64, 64, 64);
	padding: 0.2em;
	margin: 0.1em -11px 0.1em; 
	font-size: 1.5em;
      }
div#main h3
      { color: rgb(64, 64, 64); 
	font-size: 1.0em;
	padding: 0.2em; 
	margin: 0.1em -11px 0.1em;
      }
      
#lang ul { float: right; }
#lang li {  display: inline; list-style-type: none; border: 1px solid rgb(128, 128, 128); padding: 3px 6px; background: white; font-size: 66%;}

#contact { font-weight: bold; margin-bottom: 1em;}

ul.qa li { display: inline; list-style-type: none; margin-right: 0.5em; }


.post { background: #FFFFCC; margin: 5em; padding: 1em; border: thin black solid;}
                                                                                                                                                                                                                                      
button { width: 100%; }                                                                                            
                                                                                                                   
.post input[type=text] {
 width: 100%;
 display: block;
 font: inherit;
}                                                                                                                                                                                                                                     
.post textarea {
 width: 100%;
 height: 20em;
 display: block;                                                                                                   
 font: 1em monospace;
}