body {
background:#eee;
color:#555;
font-size:12px;
line-height:1.6;
font-family:verdana,sans-serif;
}

#container {
background:#fff;
padding:10px;
width:650px;
margin: 25px auto;
border:2px solid #ccc;
-moz-border-radius:12px;
-webkit-border-radius:12px;
-moz-box-shadow:3px 3px 4px #999;
-webkit-box-shadow:3px 3px 4px #999;
}


#menu {

}

#content {
margin-top:30px;
}

#homecontent {
padding:8px;
}

#menu ul {
    margin:0;
    padding:0;
    list-style:none;
}

#menu ul li {
    display:inline;
    padding:3px 6px;
    margin:0;
}
    

div#topmast {
width:650px;
margin:auto;    
}

div#topname {
font-family: "Gill Sans", verdana, sans-serif;
}

div#topmast span {
    font-size:22px;
}
    

h1 {
font-family: verdana, sans-serif;
}

h3, h4 {
color:#444;
}

h3 {
border-bottom: 1px solid #ccc;
width:70%;
margin-top:3em;
}

p.big {
font-size:1.4em;
}

a {
color:red;
text-decoration:none;
border-bottom:1px dotted red;
}

a:hover {
border-bottom:1px solid red;
}

div.floatright {
float:right;
margin: 4px 0 4px 8px;
}

div.floatright img {
margin:0;
padding:2px;
border: 1px solid #777;
}

div.special {
width:94%;
margin:30px auto 15px auto;
padding:8px;
background:#0055aa;
color:#fff;
border:1px solid #0011cc;
-moz-border-radius:12px;
-webkit-border-radius:12px;
}

div.special h3 {
margin:3px;
color:white;
}

div.special a {
color:#fff;
text-decoration:none;
border-bottom:1px dotted white;
}

div.special a:hover {
border-bottom:1px solid white;
}

/* footer */
#footer {
width:650px;
margin: 2px auto;
font-size:.8em;
margin-top:25px;
}

p.footlist {
    text-align:right;
}

p.footlist a {
    color:#777;
    border-bottom:1px dotted #777;
    margin:4px;
}

p.footlist a:hover {
    color:red;
    border-bottom:1px solid red;
}

/* CV */
body.cv ol li {
margin-top:.5em;
}

a.doi {
font-size:80%;
color:#888;
text-decoration:none;
border:none;
}

a.doi:hover {
border-bottom: 1px solid #888;
}

div.hangparas p {
text-indent:-2em;
padding-left:2em;
margin:.5em auto .5em auto;
}




/* for unix commands */
dl.unix dt {
font-family:"Courier New",monospace;
font-weight:bold;
margin-top:1em;
}