/* 2007 (c) Daniel Buenzli */

/* Basic layout.
   First reset everything. */

* { padding: 0em; border: 0em; margin: 0em; } 
* { font-family: verdana, sans-serif; font-weight: normal; font-size: 100%; }

body { margin: 2em 10% 2em 10%;
       font-size: 10pt;
       line-height: 130%;
       text-align: justify; 
       background: white;
       color: black; 
       max-width: 70ex; 
       min-width: 40ex; }

a { color: #C00; text-decoration: none; }
a:visited { color: #800 }
a:hover { color: #C00 ; text-decoration: underline }
a.splitlink { color : black; text-decoration : none}
a.splitlink, a.floatlink { color : black; text-decoration : none }
a.splitlink .link, a.floatlink .link { color: #C00; }
a.floatlink .link { float: left; text-indent: -1.5em; }
a.splitlink:visited .link, a.floatlink:visited .link { color: #800 }
a.splitlink:hover .link, a.floatlink:hover .link { text-decoration: underline }
a.validatelink { color : white; }
a.validatelink:hover { color: #C00; text-decoration: none }

p { padding-top : 1em }
ul { list-style-type: none; }
li { padding: 1em 0em 0em 0em }
h1 { font-size: 120%;
     font-weight: normal; }
h2 { padding: 2ex 0em 0em 0em;
     font-size: 110%;
     font-weight: bold; }

small { font-size: 77% }
acronym { text-transform: uppercase; font-size: 85% }


/* Page divisions. */

#header { border-width: thin; border-bottom-style: dotted; padding-bottom:1ex}
#header a { color: black; text-decoration : none }
#header a:hover { color: #C00; }

#header { text-align : left; line-height: 170%; }
#header h1 { display : inline; }

#header ul { display : inline; margin-left: 2em; font-size: 90%; }
#header ul li { display : inline-block; margin-right: 1.5em; color: white; } 
#header ul li.current { color: black }

#content { padding: 0em; border: 0em; margin: 0em; font-size : 90% }

#footer { padding-top: 1ex; margin-top: 2em;
	  border-width : thin;
	  border-top-style : dotted;
	  font-size : 70% }
#footer .sep { margin-left: 1ex; margin-right: 1ex }
#footer form.searchbox { margin-right : 2ex;
	                 display : inline;
			 border-width: thin;
			 border-color : white;
			 border-bottom-style: solid;
			 border-right-style: solid; }
#footer form p { display : inline; margin:0em; border:0em; padding:0em }
#footer form.searchbox:active,
#footer form.searchbox:hover { border-color : #C00; }


/* Site division */

#home p { padding-top: 1em; }
#home .contact { font-weight: bold; } 

#writings ul { list-style: bullet; }
#writings li { padding-top: 1em; }

#writings .pub .title { font-weight : bold }
#writings .pub .authors { padding: 0em; font-style : italic }
#writings .pub .description { padding-top: 1ex }
#writings .pub .download { padding: 0em }

#software .project { font-weight: bold }

#links li { padding-top: 1em }
#links .linktitle { font-weight: bold; }