body { margin-top:10px; margin-left:20px; background:white; }
body.paper { margin:5%; }

body, div, p, th, td, li, dd, h1,h2,h3,h4,address,blockquote,b,i { 
       font-family:verdana,arial,helvetica,sans-serif;  }

body, div, p, th, td, li, dd { 
	/* redundant selectors to help NS4 not forget */
       /* font-size:11px;*/ }

@import url(http://www.inf.ethz.ch/~langhein/sizes.css);

h1, h2, h3, h4 { color:#05347c; font-weight:bold;}
h1 { font-size:20pt; }
h2 { font-size:12pt; background-color:#666699; color:white; 
     padding: 0.1em; border:none; width:95% }
h3 { font-size:12pt; }
h4 { font-size:10pt; }

b { font-weight: bold; }

.name    { font-size:16pt; background:#bbbbdd; font-weight: bold;
           vertical-align:top; color:#113377; padding-top: 0.3em;}
.group   { font-size:12pt; background:#bbbbdd;
           vertical-align:top; padding-top: 0.3em;}
.contact { font-size:10pt; background:#bbbbdd; vertical-align: top; }

.timestamp { font-style: italic; }

pre, tt { font-family:"Andale Mono","Courier New",Courier; font-size:10pt; color:#0000C0; }

.border { border-style:solid; border-width:0.2em; border-color:#CC0000; padding:1em; }

a { color:#113377; font-weight: bold; }
a:link    { text-decoration:none; }
a:visited { color:#666699; text-decoration:none; }
a:active  { text-decoration:underline; }
a:hover   { color:#113377; text-decoration:underline; }

li.publ { margin-top:1em;}

ul { list-style-type:square; }

.lborder   {border-bottom-style:solid;border-bottom-width:3pt;border-color:#eeeeee;width:96%;}
.underline {border-bottom-style:solid;border-bottom-width:3pt;border-color:silver;width:96%;}