/******************** global settings *********************/
body{
  font-family: Verdana, sans-serif;
  font-size: 80%;
  margin: 0;
  cursor: default;
  background-color: white;
  color: black;
}

p {
  line-height: 120%;
}

/* no... disagree with no diff btw visited or not
a:link, a:visited{
   background-color: transparent;
   color: black;
   font-weight: bold;
}
*/

img{ border: none; }

h1, h2, h3, p.h1sub {
  color: #445566;
}

p.h1sub { text-align: center; font-size: small; font-weight: bold;
   margin-top: 5px;
   padding-top: 0px;
}

h1 { 
   background-color: #f7f7f7;
   border: solid 1px #555555;
   padding: 0px 5px 2px 5px;
   margin:  0px 15px 5px 15px;
   text-align: center;
   font-style: normal;
   font-weight: bold;
   font-size: 250%;
}


h2 { 
   font-size: 140%;
   font-style: normal;
   font-weight: bold;
   margin: 1.5em 100px 0.5em 15px;
   border-bottom: solid 1px #555555;
}


em{ font-weight: bold; font-style: normal; } /* use bold for emphasis */


/*address{ font-weight: bold; font-style: normal; } */


hr{
   width: 100%;
   border: solid 1px #555555;
   margin:  40px auto 40px auto;
   height: 3px;
   background-color: #eeeeee; 
}


/******************** Global Page Layout ****************/

div.mainContainer{
   top: 0px;
   left: 0px;
   background: url(img/menu_bkg.gif) repeat-y 0 0;
}


div.menu{
   left:0;
   float:left;
   width: 161px;
   font-size: 85%;
   padding-bottom: 20px;
   background-color: #a0b0c0; /* shall be same as menu_bkg.gif */
}


div.content{
   margin: 0 0 0 161px;
   padding: 10px;
   border-left: solid 1px #555555;
   color: #000000;
   text-align: justify;
}


div.footer{
   background-color: #dddddd;
   padding: 2px 20px;
   border-top   : solid 1px #555555;
   border-bottom: solid 1px #555555;
   font-size: 80%;
   text-align: center;
}
div.footer img {    vertical-align: bottom;  }
div.footer span {    vertical-align: bottom; margin-right: 16px; }

div.spacer{
   clear: both;
   height: 1px;
}


/********************** Navigation Menu *****************/
div.menuHeader {
	margin: 10px 15px 0px 5px;
	padding: 0px  5px 0px 5px;
	background-color: #eeeeff;
	font-weight: bold;
	border: solid 1px #555555;
	/* border-top: solid 0px black; */
}

div.menu a , div.selected {
	display: block;
	margin:  0 0 0 20px;
	padding: 2px 0 1px 8px;
	border-left: solid 2px black;
	text-decoration: none;
	font-weight: normal;
}

div.selected {
  color: #d00000;
  /* background: url(img/menuSel.gif) no-repeat right; */
  background-color: white;
}

div.menu a:link    { color: #000080; background-color: #b0c0d0; }
div.menu a:visited { color: #800080; background-color: #a0b0c0; }
div.menu a:hover   { color: #cc0000; }


/*********** Formatting images mixed with text ********/


img.par_iconL {
   float: left;
   margin: 2px 8px 5px 2px;
}

img.par_iconR {
   float: right;
   margin: 2px 2px 5px 8px;
}

img.alone{
   display: block;
   margin: 20px auto 20px auto;
}

p.clearL { clear: left;  }
p.clearR { clear: right; }


/********** Formatting of code statements *************/

.code {
  font-family: courier, monospace;
  background-color: #EEEEEE;
}
p.code {
  margin: 1em 3em;
  padding: 4px 1em;
}
p.code i { /* mark elements to be substituted */
  font-style:  italic;
  color: green;
}


/********** Project list formatting ******/
ul.unit {
  margin: 0em;
  border: 0em;
}
ul.unit li {
  margin:  15px 0;
  padding: 2px 4px;
  background-color: #F7F7F7;
}

/**************** Formatting of definition-like tables *************/

table.def {
  font-size: small;
  margin: 0.3em 3em 1em;
  padding:    0.6em 0.6em;
  background-color: #EEEEEE;
  /* border-collapse: collapse; /* */
  border-style: hidden;
}
table.def td {
  /*border-top:    1px dashed #ffffff;
  border-bottom: 1px dashed #ffffff;*/
  padding:    0.4em 1em;
  vertical-align: baseline;
}
td.defL { text-align: right; font-weight: bold; }
td.defL + td { text-align: left; /*font-style:  italic;*/ }



/***********************************/
/* picture with caption formatting */
/*********************************** /


table.captionPicture{
   margin-left: auto;
   margin-right: auto;
}


table.captionPicture td.caption{
   text-align: center;
}


table.captionPicture td.caption :link, table.captionPicture td.caption :visited {
  text-align: center;
  font-weight: bold;
  font-style: normal;
  text-decoration: none;
  color: #e80000;
}
*/