@charset "UTF-8";

/* Layout... */

body {
        min-width:62em;
	font: 90% Arial, Helvetica, sans-serif;
	background: #FFFFFF;
	margin: 0; /* it's good practice to zero the margin and padding of the body element to account for differing browser defaults */
	padding: 0;
	text-align: center; /* this centers the container in IE 5* browsers. The text is then set to the left aligned default in the #container selector */
	color: #000000;
}

#menu {
	font-size: 90%;
	margin: 0 0;
	padding: 0;
	text-align: right;
	color: #334d55;
}

#container {
	width: 70%;  /* this width will create a container that will fit in an 800px browser window if text is left at browser default font sizes */
	background: #FFFFFF;
	margin: 0 auto; /* the auto margins (in conjunction with a width) center the page */
	text-align: left; /* this overrides the text-align: center on the body element. */
}

#imgmoah {
  border: 0;
  float: left;
  padding: 0;
  padding-right: 10px;
  margin: 0;
}

#clearfloat {
    clear:both;
    height:0;
    font-size: 1px;
    line-height: 0px;
}

#last-modified {
        padding: 0;
        margin: 0;
	font-size: 70%;
        color:#BBBBBB;
	text-align: right;
} 

#footer {
        margin-top: 3px;
        text-align: center;
}

#footer-line {
        margin: 0;
        padding: 0;
        border: 0;
	color:#DDDDDD;
	background-color:#DDDDDD;
        height: 5px;
} 

/* For the publications ... */
.notes {
  font-size: 80%;
  background-color: #EEEEEE;
  font-style: italic;
}

.abstract {
  font-size: 80%;
  background-color: #FFFDD9;
}

.publi {
  border: 1px #ccc solid;
  padding: 0.5em;
}

.space {
       background-color: #FFFFFF;
}

/* Pretty stuff */
img {
    border: none;
}

ul {
   list-style-type: none;
   margin: 0;
   padding: 0;
   padding-left: 1em;
}

img.h1icon {
  border: 0;
  float: right;
  padding: 0;
  margin: 0;
}

a:visited {
	text-decoration: none;
}

a:link {
	text-decoration: none;
}

a:hover {
	color: #FF3300;
	text-decoration: underline;
}

h1 {
	font-size: 120%;
	color: #334d55;
        background-color: #eee;
	border-bottom: 1px #ccc solid;
	padding-top: 3px;
	padding-bottom: 3px;
        padding-left: 10px;
        margin: 0;
	margin-bottom: 1em;
}

h2 {
	font-size: 120%;
	color: #334d55;
	border-bottom: 1px #ccc dashed;
	padding-bottom: 0;
	margin-bottom: 1em;
}

h3 {
	font-size: 100%;
	color: #334d55;
	border-bottom: 1px #ccc dashed;
	padding-bottom: 0;
	margin-bottom: 1em;	
}

code {
	background-color:#F9F7F3;
	font-size:110%;
}

code.a:link {
	background-color:#F9F7F3;
	color:#FF0000;
	text-decoration: none;
	font-size:110%;
}

pre {
	display: block;
	background-color:#F9F7F3;
	color:#000000;
	border-top-width:1px;
	border-top-color: #D3D3D3;
	border-top-style: solid;
	border-bottom-width:1px;
	border-bottom-color: #D3D3D3;
	border-bottom-style: solid;
	margin-bottom: 10px;
	padding-left: 10px;
	padding-right: 0px;
	font-size:110%;
        overflow: auto;
}