body
   {
   background-image:url(Images/Background.jpg);
   background-repeat:repeat;
   /* background-color:#000099; */
   color:#000000;
   font-family: Verdana, Arial, sans-serif;
   font-size: 0.85em;  /* 0.917em~=11pt 0.833em~=10pt */
   }
div#container
   {
   margin-left:auto; width:850px; margin-right:auto;  /* was width:765px (good for 800x600 resolution); 56.25em scalable equivalent to 765px on PCs */
   background-color:#ffffff;
   color:#000000;
   }
table#header
   {
   width:100%;
   table-layout:fixed;
   border-collapse:collapse;  /* eliminates the gap under the inner table */
   }
td#logo
   {
   width:182px;  /* 130px (image width) + 26px (left "padding") + 26px (right "padding") =  182px [on Safari, padding does not expand table width] */
   padding:12px 0px 12px 0px;
   vertical-align:middle;
   text-align:center;
   }
td#name
   {
   padding:12px 26px 15px 0px;  /* was 12px 26px 0px 0px */
   vertical-align:top;
   text-align:right;
   font-size:1.7em;  /* was 1.6em */
   letter-spacing:2px;
   background-color:transparent;
   color:#000099;
   }
span#job
   {
   font-size:.55em;
   letter-spacing:normal;
   }
td#nav
   {
   padding:0px;
   vertical-align:bottom;
   }

/* styles for navigation links: */
table#links
   {
   position:relative;  /* in IE links table will not be truncated with large font size */
   table-layout:auto;
   border-collapse:collapse;
   }
td.link
   {
   height:1.47em;  /* equivalent to 20px */
   padding:0;
   text-align:center;
   background-color:#e3e0c6;
   }
td.link.light
   {
   background-color:#efedde;
   color:#000099;
   }
td.sep
   {
   width:1.03em;   /* equivalent to 14px */
   height:1.47em;  /* equivalent to 20px */
   padding:0;
   }
img.sep
   {
   width:1.03em;   /* equivalent to 14px */
   height:1.47em;  /* equivalent to 20px */
   vertical-align:bottom;
   border-style:none;
   }

/* styles for drop-down menus: */
div.DropDownMenuBar
   {
   position:relative;
   }
div.DropDownMenuBar div
   {
   display:none;
   }
div.DropDownMenuBar:hover div
   {
   display:block;
   }
div.DropDownMenu
   {
   position:absolute;
   top:1.0em; left:0;  /* was top:0 */
   text-align:left;
   }
div.MenuBorder
   {
   height:0.4em;  /* was height:1.4em */
   background-color:transparent;
   }
div.MenuItem
   {
   padding:.3em .8em .5em .8em;
   background-color:#e9e8e3; /*#f8f7f1;*/
   border-right: 1px solid #d6d0c4;
   border-bottom: 1px solid #d6d0c4;
   border-left: 1px solid #d6d0c4;
   }

div#title
   {
   padding-left:5px; width:auto; padding-right:5px;
   padding-top:10px; height:auto; padding-bottom:6px;  /* paddings were both 6px */
   clear:left;
   background-color:#efedde;
   color:#000099;  /* was #000000 */
   font-size:1.2em;  /* was 1.12em before applying font-size:0.85em to body -- then 1.318em, 1.25em */
   /* line-height:1.12em;  standard line height per default stylesheet in Meyer */
   }
div.seealso
   {
   margin-top:0px; margin-bottom:10px;
   margin-left:10px; margin-right:0px;
   width:33%;
   padding:10px;
   float:right;
   background-color:#e7e7e7;  /* was #efedde; then #e9e8e3 */
   color:#000099;
   }
div#content
   {
   padding:10px;  /* padding was 6px */
   background-color:transparent;
   color:#000000;
   }
div#footer
   {
   padding-top:4px; height:auto; padding-bottom:4px;
   background-color:#efedde;
   color:#000099;
   font-size:0.706em;  /* was 0.6em before applying font-size:0.85em to body */
   text-align:center;
   }
div#bottom
   {
   margin-top:5px;
   text-align:center;
   }
table.normal
   {
   table-layout:fixed;
   width:100%;
   background-color:#efedde;
   color:#000099;
   border-collapse:collapse;
   }
table.normal td
   {
   border-style:solid;
   border-width:1px;
   border-color:#d6d0a9;  /* was #cccccc; */
   padding:6px;
   }
table.normal td.book-image
   {
   width:122px; 
   padding-left:0; 
   padding-right:0; 
   padding-top:4px; 
   padding-bottom:4px; 
   text-align:center;
   }
table.normal td.book-info
   {
   padding:4px;
   }
a[href]:hover
   {
   background-color:transparent;
   color:#ff0000;
   }
h1, h2, h3, h4, h5, h6
   {
   background-color:transparent;
   color:#000099;
   font-weight:normal; 
   }
h1
   {
   font-size:2em;
   }
h2
   {
   font-size:1.35em; /* was 1.5em */
   }
h3
   {
   font-size:1.2em; /* was 1.17em */
   }
h4
   {
   font-size:1.12em;
   }
h5
   {
   font-size:.83em;
   }
h6
   {
   font-size:.75em;
   }
h2.title, h3.title
   {
   text-align:center;
   }
em
   {
   font-style:italic;
   }
strong
   {
   font-weight:bold;
   }
ul li, ol li
   {
   margin-top:8px;
   margin-bottom:8px;
   }
li.separated
   {
   margin-top:16px;   
   }
div.list-continue
   {
   margin-top:6px;
   }
ul li
   {
   list-style-image:url(Images/Bullet.gif);
   }
/* the sup & sub styles avoid increasing line spacing: */
sup  
   {
   font-size:.75em;
   vertical-align:0.5em;
   line-height:0.5;
   }
sub
   {
   font-size:.75em;
   vertical-align:-0.5em;
   line-height:0.5;
   }
span.new
   {
   background-color:#ffff00;
   color:inherit;
   font-size:0.75em;
   vertical-align:middle;
   }
p.image
   {
   text-align:center;
   }
p.ref
   {
   margin-left:2em;
   text-indent:-2em;
   }
p.indent, div.indent
   {
   margin-left:3em;
   }
code, pre
   {
   font:inherit;
   font-size:1em;  /* needed because IE7 does not honor "font:inherit" */
   font-family:"Courier New", monospace;
   }
span.hilite
   {
   background-color:#ffff00;
   color:inherit;
   }
hr.footnotes
   {
   margin-left:0; 
   width:33%; 
   text-align:left;
   }
span.warning
   {
   color:#ff0000;
   background-color:transparent;
   }
div.quote
   {
   background-color:#efedde;
   color:#000099;
   }
img.float-left
   {
   float:left;
   margin-right:10px;
   margin-bottom:15px;
   border-style:none;
   }
img.float-right
   {
   float:right;
   margin-left:10px;
   margin-bottom:15px;
   border-style:none;
   }
p.note
   {
   margin-left:50px; margin-right:50px;
   padding:20px;
   background-color:#efedde;
   color:#000099;
   border: solid 1px #d6d0a9;
   text-align:center; 
   }
.tab
   {
   margin-left:25px; margin-right:25px;
   margin-top:0px; margin-bottom:0px;
   padding:5px;
   background-color:#e7e7e7;  /* was #e9e8e3 */
   /* color:#666666; */
   }
.subtab
   {
   margin-left:25px; margin-right:25px;
   margin-top:0px; margin-bottom:25px;
   padding:5px;
   background-color:#f1f1f1;
   /* color:#666666; */
   }