body { 
       background: #DADADA;
       color: #333333;
       font-family: Arial, Helvetica, Sans-Serif;
       font-size: 13px;
}

/**** Links ****/
/*
a:link {
  color: #0000ff;
  text-decoration:none;
}

a:visited {
  color: #000090;
  text-decoration:none;
}

a:link:hover, a:visited:hover{text-decoration:underline;}

a.old { text-decoration:line-through; }
*/
/**** Panels ****/

.smallbox {
  font-size: 11px; 
  padding: 0 0 0 0;
}

.mainpanel{
  margin:10px auto;
  padding:5px 0 0 0;
}

.leftbar {
}

.meta{
  font-size: 13px;
  border-bottom:1px solid #dadada;
  border-top:1px solid #dadada;
  padding:0 0 5px 0;
  margin: 5px 0 0 0;
}
#header .meta { 
  border-top: 4px solid #ff8080;
}

/**** Titles ****/

h1{
  font-size:3.5em;
  letter-spacing:-4px;
  margin:0 0 5px 0px;
  color:#4088b8;
  border-bottom: 4px solid #ff8080;
}

#title h1 {
  font-size:5em;
  border-bottom: 0px;
  margin:15px 0px 0px 0px;
}

h2{
  font-size:1.8em;
  color:#600060;
  border-left:14px solid #ff8080;
  padding:0 2px 2px 5px;
  margin:10px 0 10px 0;
  letter-spacing:-1px;
}

h3{
  font-size:1.4em;
  color:#600060;
  padding:0 2px 2px 5px;
  margin:10px 0 10px 10px;
  letter-spacing:-1px;
}
/*
p { text-align: justify; margin: 1ex 3em 0em 1em; } 

pre { margin: 1ex 1em 0 1em; }
*/
strong.ocaml{ color: #8B0A50; }
strong.highlight { color: #FF0000; }
img.icon { border: 0; }

.code { 
  border: solid #aaaaaa 2px; 
  background: #f2f1f0;
  margin: 1ex 1em 1ex 1em; 
  padding: 1ex 1ex 1ex 0; 
}
.xmlcode { 
  border: solid #aaaaaa 2px; 
  margin: 1ex 1em 1ex 1em; 
  padding: 0.2ex;
  background: #fafabe;
}

.abstract { 
  margin: 1ex 1em 1ex 1em;
  padding: 1ex 1em 1ex 1em;
  background: #F0F0F0;
}

.note { 
  text-align: justify;
  margin: 1ex 3em 1ex 3em;
  padding: 1ex 1em 1ex 1em;
  background: #D0E2D2;
  border: solid #000000 1px; 
}

.session
 { 
  margin: 1ex 1em 1ex 1em;
  padding: 1ex 1em 1ex 1em;
  border: solid .5px gray;
}

div.abstract p { 
  font-family: sans-serif; font-size:12px; 
}