body {
/*	color:#000000;*/
		background-color:#FFFFFF;
	}
	b    { color:#502000; }
	i    { color:#006000; }

	h2 { 
	    color:#A00000; 
	    padding-top: 15px;
	    font-size: 100%;
	    font-weight: bold;
	}

	h3 {
	    color:#600000;
	    font-size: 100%;
	    padding-top: 10px;
	    padding-left: 20px;
	}

	table.sec-table {
	    width: 100%;
	    border: 1px;
	}

	table.nav-table {
	    width: 100%;
	    border-spacing: 0px;
	    border-width: 0px;
	    border-collapse: collapse;
	    border-top: 0px;
	    border-bottom: 0px;
	    padding-top: 0px;
	    padding-bottom: 0px;
	}

	td.nav-cell {
	    padding: 0px;
	    border-width: 0px;
	}

	table.colophon-table {
	    width: 100%;
	}

	td.search-box {
	#    text-align: right;
	}

	td.training-cell {
	    text-align: right;
	    padding: 0px;
	    border-width: 0px;
	}

	td.pub-info {
	    text-align: left;
	}

	td.tlpi-cover {
	    text-align: right;
	}

	p.page-copyright {
	    margin-top: 6px;
	    margin-bottom: 6px;
	}

	fieldset.man-search {
	    border: 0px;
	    margin-top: 0px;
	    margin-bottom: 0px;
	}

	span.headline {
	    font-weight: bold;
	}

	span.footline {
	    font-weight: bold;
	}

	p.page-xlinks {
	    margin-left: 10px;
	    margin-top: 6px;
	    margin-bottom: 6px;
	    background-color: #FFFFC0;
	    padding: 5px;
	    border-color: red;
	    border-style:solid;
	    display: inline-block;
	    border-width: 1px;
	}


	p.section-dir {
	    # font-size: 80%;
	    margin-top: 6px;
	    margin-bottom: 6px;
	    padding: 5px;
		     /*
	    display: inline-block;
	    border-color: gray;
	    border-style:solid;
	    */
	    border-width: 1px;
	}

	hr.end-xlinks{		/* A no-op for now */
	    border: 0px;
	    margin-top:0px; 
	    margin-bottom:0px; 
	}

	span.top-link {
	    font-size: 70%;
	}

	hr.end-man-text {
	    height: 0px;
	    border-color: #ffffff;
	    width: 100%;
	}

	pre  { font-family: monospace, courier; 
	#    font-size: 45%;
	}

	#a:link    { text-decoration: none; color: blue; }
	#a:visited { text-decoration: none; color: blue; }
	a:hover   { text-decoration: underline; color: red; }
	a:active  { text-decoration: underline; background-color: #FFD0D0; }

	.footer p {
	    margin-top: 0.7em;
	    margin-bottom: 0.7em;
}