* {
    margin: 0;
}
html,body { /* HTML must be stated here too in order for the dynamic footer to
               work */  
    /* background: rgb(178,178,178); 
       background: rgb(168,168,168); */
    height: 100%;
    width: 800px;
    background: #999999;
    font-size : 12px;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-weight: 500;
    color: #FFFFFF; 
    text-align: justify; /*09.12.11 SEAN changed to justify*/ 
    margin-top: 0px;
    margin-left: auto; 
    margin-right: auto; 
    vertical-align: top;
    horizontal-align: center;
}

h1, h2, h3, h4, h5, h6
{
    text-align: left;
    width: auto;
    font-style: normal;
    font-variant: normal;
    text-transform: none;
    font-weight: bold;
    margin: 0px 0px 0px 0px;
}
h1 
{
    padding: 20px 20px 10px 0px;
}
h2, h3, h4
{
    padding: 20px 20px 0px 0px;
}
h5, h6 
{
    padding: 20px 10px 0px 0px
}
h1
{
    font-size: 151%;
    padding-bottom: 0px;
}
h2
{
    font-size: 142%;
}
h3
{
    font-size: 133%;
}
h4
{
    font-size: 124%;
}
h5
{
    font-size: 115%;
}
h6
{
    font-size: 106%;
    padding-bottom: 30px;
}
p
{
    margin-top: 12pt;
    margin-bottom: 12pt;
}
#center
{
    text-align: center;
}
#tight
{
    padding: 0px 0px 0px 0px;
    margin: 0px 0px 0px 0px;
    font-weight: normal;
    border: 0;
}
pre
{
    font-family: Monaco, Courier;
    white-space: pre;
    text-align: left; 
}
code
{
    font-family: Courier, Monaco;
    white-space: pre;
    text-align: left; 
    font-size: 13px;
}
pre.source
{
    padding: 10px;
    /* background: rgb(158,158,158); */
    background: #8F8F8F;
    border: dashed #777 1px;
    font-family: Courier, Monaco;
    font-size: 13px;
    margin-bottom: 12pt;
    margin-top: 12pt;
}
pre span
{
    color: red;
}
hr { 
    background-color: #FFFFFF;
    border: 0;
    margin: 40px 0 20px 0;
    width: 100%;
    height: 1px;
}
hr.slim { 
    background-color: #A1A1A1;
    border: 0;
    margin: 0px 0px 5px 0px;
    padding: 0px 0px 0px 0px;
    width: 100%;
    height: 1px;
}
a.plain:link, a.plain:active, a.plain:visited 
{ 
    color: #FFFFFF;
    text-decoration: none; 
    border-bottom: 0px;
}
a:link, a:active, a:visited 
{ 
    color: #FFFFFF;
    text-decoration: none; 
    border-bottom: 1px dotted;
}
a:hover         
{ 
    color: #000000; 
}
/* ================================================================ 
This copyright notice must be untouched at all times.

The original version of this stylesheet and the associated (x)html
is available at http://www.cssplay.co.uk/menus/drop_definition3.html
Copyright (c) 2005-2007 Stu Nicholls. All rights reserved.
This stylesheet and the assocaited (x)html may be modified in any 
way to fit your requirements.
=================================================================== */
#menu 
{
    list-style-type: none; margin: 10px auto 50px auto; padding:0; 
    /* position: relative; top: 155px; left: 610px; width: 400px; */
    position: relative; top: -54px; left: 269px; width: 400px;
}
#menu li 
{
    float:left; padding:0; margin:0 1px 0 0; position:relative; 
    width: 120px; height:3em; z-index:100;
}
#menu dl {width: 120px; margin: 0; padding: 0; background: transparent;}
#menu li dl {position:absolute; top:0; left:0; padding-bottom:0;}
#menu li a, #menu li a:visited {text-decoration:none;}
#menu li dd {display:none;}
#menu li a:hover {border:0;}
#menu li:hover dd, #menu li a:hover dd {display:block;}
#menu li:hover dl, #menu li a:hover dl {padding-bottom:0px;}
#menu table {border-collapse:collapse; padding:0; margin:-1px; font-size:1em;}
#menu dt {margin:0; padding: 0;}

#menu dd {margin:0; padding:0; text-align:left;}

#menu dt, dt a, #menu dt a:visited {
    display:block; text-align:center; 
    border: 0px; border-width: 0 0px 0px 0px; padding:0.25em 0 0.75em 0;}

#menu li:hover dt a, li:hover dt, #menu a:hover dt a 
{
    color:#006; background:#ddd; border:1px solid #08c; 
    border-width:0;
}

#menu dd a, #menu dd a:visited 
{
    color:#fff; padding:0.5em 0; text-decoration:none; display:block; 
    text-align:center; border-left:1px solid #FFFFFF; background: #AAAAAA;
    border-right:1px solid #FFFFFF;  border-bottom:1px solid #FFFFFF;
}

#menu dd a:hover 
{
    background: #FFFFFF; color:#000; border-left:1px solid #08c; 
    border-right:1px solid #08c;
}

#menu b {display:block; overflow:hidden; height:1px;}

#menu b.p1 {background:#08c; margin:0 5px;}
#menu b.p2 {background:#d4d4d4; border: 2px solid #08c; border-width:0 2px; margin:0 3px;}
#menu b.p3 {background:#d4d4d4; margin:0 2px; border:1px solid #08c; border-width:0 1px;}
#menu b.p4 {height:2px; background:#d4d4d4; margin:0 1px; border:1px solid #08c; border-width:0 1px;}
#menu b.p5 {background:#08c; margin:0 5px;}
#menu b.p6 {background:#08c; margin:0 3px;}
#menu b.p7 {background:#08c; margin:0 2px;}
#menu b.p8 {height:2px; background:#08c; margin:0 1px;}

#menu li:hover b.p2, #menu a:hover b.p2 {background:#fff;}
#menu li:hover b.p3, #menu a:hover b.p3 {background:#f0f0f0;}
#menu li:hover b.p4, #menu a:hover b.p4 {background:#e8e8e8;}

/*===========================================================================*/
#navigation
{
    /*background: #07B6CC;*/
    /* background: #6776BB; */
    background: #8F8F8F;
    border: dashed #777 1px;
    color: #FFFFFF;
    border-color:     rgb(0,0,0);
    border-height: 2px;
    /* the menu cells colour */
    font-style:       normal;
}
/* layout */
#navigation
{
    width:       150px; 
/*    position:    relative; */
    position: absolute;
    top:         0px; 
    right:       0; 
    float:       right; 
    text-align:  center;
    margin-left: 50px;
}

a.menuitem
{
    font-size: 120%;
    font-variant:        normal;
    color:               #FFFFFF;
    text-transform:      none;
    font-weight:         normal;
    padding:             1px 8px 3px 1px;
    margin-left:         5px; 
    margin-right:        5px; 
    margin-top:          5px; 
    margin-bottom:       5px;
    text-align:          right;
    border-color:        rgb(255,226,157);
    border-bottom: 0;
}
a.menuitem:hover
{
    color: #333333;
}

#logo, #logo a
{
    color: #FFFFFF;
/*    background: #24271E;*/
    font-size: 150%;
    font-style:         normal;
    font-variant:       normal;
    text-transform:     none;
    font-weight:        bold; 
    padding:            20px 0px 40px 0px;
    margin-top:         0px;
    text-align:         left;
}
p.item_name 
{
    font-weight: bolder; 
    margin:5px;
    font-size: 105%;
}
p.nb
{
    font-style:italic;
}
/* ================================================= */
/* This CSS is used for the Show/Hide functionality. */
.more {
    display: none;
}
a.hideLink {
    background: transparent no-repeat left; 
}
/* ================================================= */

/* SAR Tue Apr  3 20:12:20 BST 2012: This one is necessary for the robodoc*/
/* pages! */  
#footer {
    font-size: 9px;
    text-align: left;
    position: relative;
    bottom: 5px;
    margin-top: 100px;
    border-top: solid 1px;
}
/* SAR Tue Apr 3 19:37:21 BST 2012 - This next one has been replaced
   by the dynamic css-based footer placement below */
/* #footerBottom { */
/*     font-size: 9px; */
/*     text-align: left; */
/*     position: absolute;  */
/*     bottom: 5px; */
/*     margin-top: 50px; */
/* } */

/* ===== THIS IS THE CODE THAT ALLOWS FOR THE DYNAMIC FOOTER ==== */
#content {
  min-height: 100%;
  height: auto /* !important */ /*min-height hack*/
  height: 100%;           /*min-height hack*/
  margin-bottom: -3em;    /*Negates #push on longer pages*/
}
#dyn-footer, #push {
  height: 3em;
  font-size: 9px;
  text-align: left;
}
/* ============================================================= */

/* ==== THIS IS FOR THE LISP-OS COMPATIBILITY TABLES =========== */
.platforms
{
    border-collapse:collapse;
}
.platforms td, .platforms th
{
    background: #8F8F8F;
    border-top: dashed #777 1px;
    border-bottom: dashed #777 1px;
    text-align: center;
    width: 5em;
    padding-left: 6pt;
    padding-right: 6pt;
}
.platforms th.row-head
{
    text-align: left;
}
.platforms th.spacer
{
    background: #999999;
    border: 0;
}
/* ============================================================= */

/* ============================================================= */
img.fragment {
    border: dashed #777 1px;
}
table.image
{
    margin-left: auto;
    margin-right: auto;
}
.image td
{
    text-align: center;
}
.image caption 
{
    caption-side: bottom;
    font-size: 80%;
    font-style: italic;
}
.image code
{
    font-size: 100%;
}
table.simple-center
{
    margin-left: auto;
    margin-right: auto;
    background: #8F8F8F;
    border-collapse:collapse;
    text-align: left;
}
.simple-center td
{
    padding-left: 6pt;
    padding-right: 6pt;
    border: dashed #777 1px;
}
.simple-center td.img
{
    text-align: center;
}
.simple-center td.lp-mark
{
    height: 30pt;
}