/* CSS Document */

#sectionIndex {
    width: 55%;
	float: left;
	padding: 8px 6px 0 6px;
	}
#search {
    width: 40%;
	float: right;
	padding-top: 8px;
	text-align: right;
    }
#heading {
    clear: both;
	padding: 20px 20px 20px;
	}
#content {
	margin: 0em;
	padding: 0 20px 2em 20px;/* use padding instead of margin for multicolumn layouts because of a really odd ie5pc bug where it sometimes relates the width of an unrelated menu div to this div. i'll, uh, write about that somewhere. it was hard to figure out what was causing it, so i want this note here to remind me. */
	}
.vline { /* To place a vertical dividing line betwn left & right columns  */
    background-image: url(../images/Vline.gif);
	background-position: center;
	background-repeat: repeat-y;}
#contentLeft {
    float: left;
	width: 47%;
	margin: 0;
	}
#contentRight {
    float: right;
	width: 47%;
	margin: 0;
	}
#bottomNav {
    clear: both;
	padding: 0 20px;
	text-align: right;
	}
#bottomNav p {
    margin: 0;
	line-height: 1.5em;
    }
.toc {
    list-style: none;
	margin-left: 0;
	padding-left: 0;
	}
.list1 { /* for list of links */
    list-style: none;
	margin: 0 0 2em 0;
	padding-left: 0;
	}
.list1 li {
    list-style: none;
	padding: 0 0 1.2em 0;
	margin-left: 0;
	line-height: 1.2em;
	}
/* use the history class to increase line height to make reading easier  */
.history {}
.history p { 
    line-height: 1.5em;
	}
h2.top {
    margin: 0 0 0.8em 0;
	}
.table1 {
    margin: 2em 0;
	}
.table1 th, .table1 td {
    padding: 0.4em 1.0em 0.4em 0;
	text-align: left;
	}
p.right {
    text-align: right;
	}
p.hilite {
    background-color: #ccc;
	padding: 0.8em;
	border: 1px solid #000;
	}