html { margin: 0px; padding: 0px; }
  
body {
 margin: 0px;
 padding: 0px;
 font-size: 12px;
 font-family: Verdana, arial, sans-serif;
}

div {
  margin: 0px; padding: 0px;
}

p, h2, h1, h4, li, ul {
	margin: 0px;
	padding: 0px;
}

.clear { clear: left;  }

a { text-decoration: none; }
a:hover { text-decoration: underline; }

h1 {
	 font-size: 15px;
	 font-family: Arial, Helvetica, sans-serif;
	 font-weight: normal;
     border-bottom: 1px solid #C2254A; /* #3B5998; */
     padding: 0px 0px 3px 0px;
}

h2 {
	font-size: 14px;
	font-weight: normal;
    padding: 0px 0px 7px 0px;	
    color: black;
}
h2 b {
  color: #00008B; 
}
p { padding: 0px 0px 12px 0px; }
p.line {
  padding-bottom: 7px;
}
img.screenshot {
 position: relative;
 margin-bottom: 18px;
}

div.left_column {
   float: left;
   width: 500px;
   border: 1px  gray dotted;
}
div.image_box {
  clear: left;
  float: left;
  width: 400px;
  border: 1px navy dotted;
}


/*  =========  Page Header ========================= */
div.center {
   width: 960px;
   margin: 0px auto 0px auto;
   position: relative;
   overflow: visible;
   padding-left: 10px;
   border-left: 1px dotted aqua;
   border-right: 1px dotted aqua;
   
}
/* need to give box a 'border' to remove white space at top of html */
div.fobox {
 border: 1px solid #F0F0F0;
/*   border-left: 1px dotted aqua;
   border-right: 1px dotted aqua;
*/   
}

#idPageHeader {
  position: relative; 
  zoom: 1;

  background-color: #F0F0F0;
  color: black; 
  border: 1px solid #F0F0F1;
  border-bottom-color: #AAAAAA;
  height: 62px;
}

div.dropshadow {
  height: 1px;
  width: 100%;
  overflow: hidden;
  border-top: 1px solid #BEBEBE;
  background-color: #D8D8D8;
  border-bottom: 1px solid #ECECEC;
}

#logo {
  float: left;
  display: block;
  border-top:    1px solid #FFFFFF;
  border-left:   1px solid #FFFFFF;
  border-right:  1px solid #999999;
  border-bottom: 1px solid #999999;
  padding: 0px;
  margin: 10px 0px 0px 0px;
  height: 40px;
  width: 40px;
}
#AmadeusSoftware {
  font-family:  Arial, Helvetica, sans-serif;
  color: #333;
  font-size: 16px;
  font-weight: bold;
  margin: 7px 0px 0px 80px;
  letter-spacing: 2px;
}

ul#menu {
  margin: 10px 0px 0px 70px;
  list-style: none;
}
#menu li {
  display: inline;
  padding-left: 4px;
  border-left: 1px solid #96A2A9;
  margin: 0px;
}
#menu li.left {
 border-left: 0px none #F0F0F0;
 padding-left: 0px;
}
#menu li.selected  a {
 color: #C2254A;
}

#menu li a {
  padding: 0px 10px;
  text-decoration: none;
  font-size: 11px;
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  color: #333333;
}
#menu a:hover {
  color: #C2254A;
  background-color: #DDDDDD;
}
#menu li.selected a:hover {
 background-color: #F0F0F0;
}
/*  ======  SQL TEXT ============================ */

.sql_text {
  background-color: #FEFFCF; /* #F7F7F7; FEFFCF */
  float: left; 
  border:1px solid #CCCCCC;
  padding: 1em;
  text-align:left;
  margin-bottom: 1em;
}


div.sql_text p {
    color: black;
/*    line-height: 1.1em;  blank lines also need height */
    height: 1em;
    padding-top: 0px;
    padding-right: 1em;
    padding-bottom: 0px;
    padding-left: 0em;
    margin: 0px;
    white-space: nowrap;
    zoom: 1;  
}        

/* p     { margin: 0.5em 0em 0.5em;   padding: 0px;  }      */
i { 
    font-size: 1em; 
    font-family: monospace; 
    font-weight: normal;  
    font-style: normal;
}
i.keyword    { color: blue;      }
i.string     { color: red;       }

i.number     { color: black;     }
i.default    { color: black;     }

i.op         { color: gray;      }
i.function   { color: violet;    }
i.comment    { color: green;     }

/* ================================================ */

dt {
	 float: left;
	 width: 16em;

}
dd {
	 margin-left: 17em;
     padding-bottom: 1em;
}