/* CSS by Philippe Wang */

a{ cursor:pointer; }

div.hair
{ 
  border-style: none;
  width: 1024px;
  margin:0px;
  padding:5px;
  padding-top:20px;
  text-align:center;
  font-weight: normal;
  }

div.hair a 
{
  border-style: none;
  padding:0px;
  margin-right:0px;
  margin-top:0px;
  margin-left:0px;
  margin-bottom:0px;
  color: #000020;
  font-weight:bold;
  }
.hair a:hover
{ 
  border-style: none;
  margin-right:0px;
  margin-top:0px;
  margin-left:0px;
  margin-bottom:0px;
  color: red;
  }

/* div.cssmenu */
/* { font-family: monaco, monospace; */
/*   list-style-type:none; */
/*   position: fixed; */
/*   left: 800px; top: 0px; */
/*   padding: 5px 0px 0px 0px; margin: 0px; */
/*   width: 240px; */
/*   text-align:left; */
/*   opacity:0.85; */
/*   filter:alpha(opacity = 85); */
/*   } */

/* div.cssmenu ul */
/* { left: 0px; display:none; position:relative; */
/*   font-family: monaco, monospace; */
/*   list-style-type:none; */
/*   position: fixed; */
/*   left: 800px; /\* top: 0px; *\/ */
/*   padding: 0px 0px 0px 0px; margin: 0px; */
/*   width: 240px; */
/*   text-align:left; */
/*  } */
/* div.cssmenu ul li, div.cssmenu div  */
/* { font-weight:normal; /\* border-style:solid; border-width: 0px 2px 2px 2px; *\/ */
/* /\*   background-color: #FFFFFF; *\/ */
/*   background-color: black; */
/*   color:white; */
/*   padding-left:3px; */
/* } */

div.cssmenu div { text-align:center;position:fixed; width:1024px; /* top:-15px; */ z-index:42; }
div.cssmenu div:hover { position:fixed; width:1024px; top:0px; }
div.cssmenu ul
{ font-family: monaco, monospace;
  list-style-type:none;
  padding: 0px 0px 0px 0px; margin: 0px;
  text-align:left;
 }
div.cssmenu ul li, div.cssmenu div
{ display:inline;
  font-weight:normal;
/*   font-size:95%; */
  background-color:black;
  color:white;
  padding:0px 0px 0px 0px;
}

div.cssmenu ul li a:hover, div.cssmenu ul li:hover, div.cssmenu ul:hover, div.cssmenu:hover ul, div.cssmenu:hover ul li
{ cursor:pointer; }
div.cssmenu ul li { /* opacity:0.86; filter:alpha(opacity = 86); */ }

div.cssmenu a
{ text-decoration:none; cursor:pointer; color:white;}
div.cssmenu ul li:hover a:hover
{ text-decoration:none; background-color:#FAFAFA; color:black; cursor:pointer; /* opacity:1; filter:alpha(opacity = 1); */ }
div.cssmenu ul li:hover a:hover
{ text-decoration:none; background-color:#FAFAFA; color:black; cursor:pointer; /* opacity:1; filter:alpha(opacity = 1); */ }


/* TMP */
div.tmpmenu div { text-align:center;position:fixed; width:1024px; /* top:-15px; */ z-index:42; }
div.tmpmenu div:hover { position:fixed; width:1024px; top:0px; }
div.tmpmenu ul
{ font-family: monaco, monospace;
  list-style-type:none;
  padding: 0px 0px 0px 0px; margin: 0px;
  text-align:center;
 }
div.tmpmenu ul li, div.tmpmenu div
{ font-weight:normal;
  background-color:black;
  font-size:142%; 
  color:white;
  padding:0px 0px 0px 0px;
}

div.tmpmenu ul li a:hover, div.tmpmenu ul li:hover, div.tmpmenu ul:hover, div.tmpmenu:hover ul, div.tmpmenu:hover ul li
{ cursor:pointer; }
div.tmpmenu ul li { /*opacity:0.86; filter:alpha(opacity = 86);*/ }

div.tmpmenu a
{ text-decoration:none; cursor:pointer; color:white;}
div.tmpmenu ul li:hover a:hover
{ text-decoration:none; background-color:#FAFAFA; color:black; cursor:pointer; /* opacity:1; filter:alpha(opacity = 1); */ }
div.tmpmenu ul li:hover a:hover
{ text-decoration:none; background-color:#FAFAFA; color:black; cursor:pointer; /* opacity:1; filter:alpha(opacity = 1); */ }
/* END TMP*/


.display a:link, a.nodeco img { border-width:0px; color:#c4d3e8; text-decoration:none; /*opacity:0.60; filter:alpha(opacity = 60);*/ }
.display a:visited, a.nodeco img { border-width:0px; color:#c4d3e8; text-decoration:none; /*opacity:0.60; filter:alpha(opacity = 60);*/ }
.display a:hover, a.nodeco img { border-width:0px; color:#c4d3e8; text-decoration:none; /*opacity:1; filter:alpha(opacity = 100);*/ }

img {border-width:0px; }

div.display { position: fixed; padding:5px; }

body
{ 
  margin: 0px 20px 0px 20px;
  padding: 0px 20px 0px 20px;
  background-color: #121212; 
/*  background-image: url("white.bmp");*/
  color: #000020; /* #000020; green */
  font-family: sans-serif ; 
  font-size:130%;
  border-style: none;
 }

.htmlbody
{ 
  border-style:none;
  width: 1024px;
  margin: 0 auto 1em auto;
  padding:0px;
  background-color:#FAFAFA;
/*  background-image: url("background_lq.jpg"); */
  }

.head
{ 
  border-style: none;
/*   background-image: url(header.jpg); */
  padding:0px;
  margin-right:0px;
  margin-top:0px;
  margin-left:0px;
  margin-bottom:0px;
  width:1024px;
 /* height:119px;*/
 }

.head h1 
{ 
  z-index:0;
 }

.body 
{ 
  font-family: Cochin, /* Chalkboard, */ Palatino, "Palatino Linotype" , serif;
/*  font-weight: normal;*/
  text-align: right;
  padding-left: 25px;
  padding-right: 25px;
  padding-bottom: 25px;
  padding-top: 0px;
  }


.foot 
{ 
  font-size: 80%;
  text-align: center;
  }

hr
{ 
  width: 80%;
  color: black;
  background-color: black;
  height: 1px;
 }

h1 
{ 
  font-weight: normal;
  font-size:150%;
  text-align:center;
  }

h2
{ 
  font-weight: normal;
  font-size: 130%;
  text-align:left;
  }

h2.cvh2
{ 
  font-weight: normal;
  font-size: 130%;
  text-align:left;
  text-decoration: underline;
  }

.h3 
{ 
  font-weight: normal;
  font-size: 100%;
  text-align:right;
  font-style:italic;
  padding:0px;
  width: 15%;
  /*   text-decoration: underline; */
  }



table
{ 
  width:1024px;
  margin:0px;
  padding-left:25px;
  padding-top:0px;
  padding-bottom:0px;
  padding-right:50px;
  text-align:left;
  border-style:none;
  }

.subinfo
{ 
  font-style:italic;
  font-size: 89%;
  text-align:right;
 }

td 
{ 
  padding-left: 25px;
  }

.italic
{ 
  font-style: italic;
  }

a 
{
  color: #000020;
  font-weight:bold;
  }
a:hover
{ 
  color: red;
  }

.highlight {  }
.highlight:hover  { color: red; }

.hidden{ position:fixed; left: 0px; top:0px; right:0px; visibility:hidden; }

.blogmenu
{
  margin:5px 0 0;
  padding-left:0.5em;
  width:360px;
  text-align:left;
  float:right;
  border-style: solid solid solid none;
  border-width:3px;
  background-color:#FAFAFA;
 }
.blogmenu h2 { text-decoration:none; }
.blogmenu ul { padding:  0px 0px 0px  15px; }
.blogmenu ul li { padding:  0px 0px 0px  2px; }
.blogmenu ul ul { padding: 0px 0px 0px  15px; }
.blogcontent
{
  width:-8px;
  border-style:none;
  border-width:0px;
  margin-right:8px;
  text-align:left;
}
.blogpost
{
  width: -8px;
  border-style:dashed;
  border-width:1px;
  text-align:left;
  padding:10px;
}
.blogdate
{ 
  text-align:right;
 }
.blogcurrentpostlink
{
  border-style:solid;
  border-width:1px;
}
.blogcurrentpostlink a
{
  color: navy;
  font-size:120%;
}


.underline { text-decoration: underline;}

.pagemenu
{
  width:360px;
  text-align:left;
  margin:5px 5px 5px 15px;
  border-style:dashed;
  border-width:2px;
  float:right;
  background-color:#FAFAFA; 
  padding:0.5em;
  margin:0.5em;
 }
.pagemenu h2 { text-decoration:none; }
.pagemenu ul { padding:  0px 5px 0px  15px; margin: 0px 0px 0px 7px; }
.pagemenu ul li { padding:  2px 0px 2px  0px; }
.pagemenu ul ul { padding: 0px 5px 0px  15px; }
.pagecontent
{
  width:;
  border-style:none;
  border-width:0px;
  text-align:left;
  margin : 10px 20px 10px 0px;
}
.pagepost
{
  width:;
  border-style:dashed;
  border-width:1px;
  text-align:left;
  padding:10px;
}

div.comments { border-style:solid; border-width: 1px; padding: 5px; margin-top:10px; margin-left:20px;width:80%;}

table.stats th {
   text-align:center; border-style:solid; border-width:1px;
}
table.stats td {
   border-style:solid; border-width:1px; text-align:center;
   margin:1px; padding:1px 3px 1px 1px;
}

table.stats2 th {
   text-align:center; border-style:solid; border-width:1px;
}

table.stats2 td {
   border-style:solid; border-width:1px; text-align:left;
}

.code{ font-family: monaco, monospace; color:black; }

table.bordered, table.bordered tr td, table.bordered tr th
  {border:solid;border-style:solid; border-width:1px;
   /* width:100%; */ font-family: serif-sans; border-color:navy;
   background-color:white;
   /* spacing:1px;*/
   padding:1px;border-spacing:0px;}

table.bordered tr th {text-align:center;}



/* tuareg-mode css */
.comment
{   /* font-lock-comment-face */
  color: #b22222;
  }
.function-name
{   /* font-lock-function-name-face */
  color: #0000ff;
  }
.keyword
{   /* font-lock-keyword-face */
  color: #a020f0;
  }
.string
{   /* font-lock-string-face */
  color: #bc8f8f;
  }
.tuareg-font-lock-governing
{   /* tuareg-font-lock-governing-face */
  color: #0000ff;
  /*font-weight: bold;*/
  }
.tuareg-font-lock-operator
{   /* tuareg-font-lock-operator-face */
  color: #a52a2a;
  }
.type
{   /* font-lock-type-face */
  color: #228b22;
  }
.variable-name
{   /* font-lock-variable-name-face */
  color: #b8860b;
  }