.rightfloat {
        float: right;
        padding: 0px;
        margin: 0px;
    }
    td, th {
        border-bottom: 1px solid #dddddd;
        vertical-align: top;
	padding: 3px;
        text-align: left;
    }
    th.table_section_head {
        border-bottom: 1px dashed #aaaaaa;
        margin-top: 1em;
        padding-top: 1em;
        font-size: 120%;
        font-weight: bolder;
        text-align: center;
        color: black;
    }
    
    div#pagecontent p.breadcrumbs {
        font-size: 60%;
	padding-top: 0.5em;
    }
    div#pagecontent div.browsebox {
        width: 48%;
        margin: 10px 1% 0 0;
        border: 1px solid #aaaaaa;
        padding: 0px;
        float: left;
        font-size: 85%;
    }
    div#pagecontent div.browsebox h3 {
        padding: 3px;
        margin: 0px;
        background-color: #aaaaaa;
        color: white;
        font-size: 110%;
        text-align: center;
    }
    div#pagecontent div.browsebox h3 a {
        color: white;
        text-decoration: none;
    }
    .center {
        text-align: center;
    }

    div#pagecontent h2 { font-size: 110%; padding-bottom: 0px; margin-bottom: 0px; text-align: left; }
    
    p { padding-top: 0px; margin-top: 0px; }
    pre.description {
        font-family: "Skia", "Trebuchet MS", "Verdana", "Helvetica", "Arial", sans-serif;
        font-weight:normal;
        font-size:90%;
	padding: 0px; margin: 0px;
    }
    table.noborders td, table.noborders th {
	border: 0px;
  	padding: 0px;
    }

    p.crosslinks {
    	font-size: 90%;
    	margin: 0;
    	padding: 0;
    }
    
    h1, h2, h3, h4, h5, h6 {
    	line-height: 100%;
    }
    
    table.publication_table {
    	font-size: 85%;
    }
    div#pagecontent { padding: 0 0 0 25px; }
    div#pagecontent p { padding: 0 45px 0 0; }
    div#pagecontent a, div#pagecontent a:visited { border: 0; text-decoration: none; }
    div#pagecontent a:hover { text-decoration: underline; }
    div#pagecontent ul { padding: 0 0 0 2em; margin: 0; }
 
.nospace {
	margin: 0; padding: 0;
}
div#pagecontent div.ch_search_result {
	margin-bottom: 1.5em;
}
div#pagecontent div.ch_search_result p {
	font-size: 70%;
}
div#pagecontent div.ch_search_result h3 {
	margin: 0;
	padding: 0;
}