/* see p127 */
/* file:///var/www/css-anthology/docroot/index-list-ddm.html */

body {
  font: 0.9em Arial, Verdana, sans-serif;
  background-color: #ffffff;
  color: #000000;
  margin: 1em 0 0 1em;
}

#nav, #nav ul {
  padding: 0;
  margin: 0;
  list-style: none;
}

#nav li {
  float: left;
  position: relative;
  width: 7em;
  border: 1px solid #b0c4de;
  background-color: #e7edf5;
  color: #2d486c;
/*  font-size: 80%;*/
  font-size: 0.9em;
  margin-right: 1em;
}

#nav a:link, #nav a:visited {
  display: block;
  text-decoration: none;
  padding-left: 1em;
  color: #2d486c;
}

* html #nav a {
  width: 100%;
}

#nav ul {
  display: none;
  position: absolute;
  padding: 0;
}

#nav ul li {
  /*float: none;*/
  border: 0 none transparent;
  border-bottom: 1px solid #e7edf5;
  /*  abbreviated hex color code: 
      http://www.websiteoptimization.com/speed/tweak/hex/ */
  border-top: .5em solid #fff;
  background-color: #f1f5f9;
  font-size: 100%;
  margin-bottom: -1px;
  margin-top: 1px;
  padding: 0;
  /* imran - prevent wrapping of long names like "jean-luc picard" */
  /*white-space: nowrap;*/
}

#nav li:hover ul {
  display: block;
  /*imran - this dont werk!*/
  /*background-color: red;*/
}

#nav ul li:hover {
/*  background-color: #f1f500;*/
  background-color: orange;
}

table {             
    border: 2px solid;
    padding: 0;
    border-collapse: collapse;
    }

tr {
    padding: 0;
    margin: 0;
    }

td, th {
    border-bottom: 1px solid;
    border-left: 1px solid;
    padding: 5px;
    margin: 0;
    }                                                                                                                                                                                        
    
div.preface {
	border: dotted;
	border-width: 1px;
	background: #ccc;
	padding: 5px;
	}
	
pre.verbatim {
	font-size: 1em;
	border: dotted;
	border-width: 1px;
	background: #dd9;
	padding: 5px;
	margin-left: 10px;
	margin-right: 10px;
	}
	
h2 { 
	border-bottom: dotted;
/*  border-color: #dd9;*/
	border-color: orange;
	border-width: 2px;
	margin-right: 100px;
	}

p { 
	text-align: justify;
	margin-left: 30px;
	margin-right: 30px;
	}
	
p.figure {
	text-align: center;
	margin-left: 150px;
	margin-right: 150px;
	font-style: italics;
	background: #aaa;
	padding: 5px;
	border: solid;
	border-color: #777;
	border-width: 1px;
	}
		
h1.classic {
	border: solid;
	border-width: 4px;
	border-color: #FF9900;
	padding: 5px;
	/* background: #29f; */
	background: black;
	color: #C0C0C0;
	/* font-family: verdana; */
	}
	
img.imagefile {
	border: solid;
	border-width: 1px;
	text-align: center;
	}
		
hr {
	border-top: dotted;
	border-bottom: none;
	border-right: none;
	border-left: none;
	color: orange;
	border-width: 2px;
	margin-right: 100px;
}