div {
/*  font-family: "lucida grande",tahoma,verdana,arial,sans-serif;  */
  font-family:   verdana,arial,sans-serif;
  padding: 0px;
  margin: 0px;
}

html {
/*  font-family: "lucida grande",tahoma,verdana,arial,sans-serif;  */
  font-family:  verdana,arial,sans-serif;
  font-size: 14px;
  padding: 0px;
  margin: 0px;
}

body {
/*  font-family: "lucida grande",tahoma,verdana,arial,sans-serif;  */
  font-family:  verdana,arial,sans-serif;
  font-size: 14px;
  padding: 0px;
  margin: 0px;
}

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

ul { margin: 0px; padding: 0px; }
li {
	 list-style-type: none;
}

p { padding: 0px 0px 1em 0px; 
    margin: 0px;
}
table.t1 {
	border-collapse: collapse;
	border: 1px solid #CCC;
}
table.t1 td {
	 border: 1px solid #CCC;
	 padding-left: .2em;
	 vertical-align: top;
	 padding-top: .3em;
}


.high {
	 background-color: yellow;
}
a { text-decoration: none; }
a:hover { text-decoration: underline; }

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

dt {
	 float: left;
	 width: 16em;

}
dd {
	 margin-left: 17em;
     padding-bottom: 1em;
}
h1 {
	 font-size: 1.5em;
	 font-weight: normal;
     border-bottom: 2px solid #3B5998;
     padding: 0px 0px 3px 0px;
}
h2 {
	font-size: 1.5em;
	font-weight: normal;
    padding: 0px 0px 3px 0px;	
}

h3 {
	 font-size: 1em;
	 margin: 0px;
	 padding: 0px;
}
h5 {
	font-size: 1.5em;
	font-weight: bold;
	margin: 2em 0px 0px 0px;
    padding: 0px 0px 2px 0px;
/*	border-bottom: 1px dotted black; */
}
h4 {
	 clear: left;
}
/*    --------------------------------------------------- */
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;     }

/*    --------------------------------------------------- */

#logo {
  margin-right: 10px;
  height: 1.5em;
  width: 1.5em;
}

#title {
   position: relative;
  padding: 12px 10px 5px 2em;
  font-size: 2em;
  font-weight: bold;
  letter-spacing: 1px;
/*  background-color: #E8E8E8;   color:  #333333;  */
  background-color: dimgray; color: white;
  border-bottom: 1px solid #3875D7;
}
#amadeus {
	margin: 0px 0px 0px 0px;
	display: inline;
	position: relative;
	top: -.3em;
}

#menu {
  background-color:  #3B5998;
  color: #FFFFFF;
  padding: .5em 0px .2em 1.5em;
}
#menu ul {
	 width: 49em;
}

#menu li { 
  display: inline;
  margin-right:  0px;
  margin-left: 2.5em;
  font-size: 1.2em;
  font-family:   verdana,tahoma, sans-serif;
  color: #FFFFFF;
  }
#menu a {
  color: #FFFFFF;
}  

#main {
  width: 50em;
  font-family: verdana, sans-serif;
  margin: 2em 1em 2em 1.5em;
}
#tour_main {
  padding-top: 2em;
}
#nav_box {
/*	float: left; */
	position: absolute;	top: 120px; left: 0px;
	width: 120px; 
    margin: 0px;
	padding: 0px 0px 0px 5px;
	background-color: dimgray;
}
#nav_box li {
/*	border-right: 3px solid black; 
	border: 1px solid dimgray;
*/
	font-size: 1.2em;
    background-color: dimgray; color: white;
}
#nav_box a {
	display: block;
	width: 115px;
	padding: 3px 0px 3px 5px;
	color: white;
	text-decoration: none;
	font-size: 14px;
}
#nav_box a:hover {
	text-decoration: underline;
}
#nav_box li.selected a {
	color: black;
}

#nav_box li.selected {
	background-color: white; color: black;
    border: 1px solid white;
	border-right: 3px solid white;
}

div.clear_nav_box {
  padding-top: 20px;
  margin-left: 150px;	
  width: 720px;
}