* {
	font-family:"Trebuchet MS","sans-serif";
}
/* Rules for "branding" */
#banner{
	position:relative;
	height:100%;
	left:2%;
	top:-43px;
	z-index:15;
	border: none;
}
.pagetitle{
    font-size: 17px;
}
.ctpsHeader{
	height:59px;
	background-color:white
}
.lightBlue{
	height:27px;
	width:100%;
	background-color:#7DA1C4;
	z-index:10;
}
.darkBlue{
	height:16px;
	width:100%;
	background-color:rgb(13,72,127);
	z-index:10;
}
/* End of rules for "branding" */

/* The following two rules are for the hidden "skip links" */
.element-invisible {
    position: absolute !important;
    clip: rect(1px,1px,1px,1px);
    overflow: hidden;
    height: 1px;
}
.element-invisible:focus {
    position: static !important;
    clip: auto;
    overflow: visible;
    height: auto;
}

#wrapper {
    width: 100%;
    /* height: 600px; */
    height: 700px;
}
#legend {
/*
    width: 15%;
    height: 95%;
    float: left;
    margin-top: 60px;
*/
    height: fit-content;
    margin-top: 10px;
    margin-bottom: 10px;
}
.legend_svg {
    height: 53px;
    width: 100px;
}
#map_wrapper {
    margin-left: 5%;
    margin-right: 5%;
    /* width: 90%; */
    height: 100%;
    /* float: right; */
}
#search_div {
    /* margin-bottom: 10px; */
    /* height: 70px; */
    height: max-content;
    margin-bottom: 5px;
}
.search_div_part {
    margin-top: 5px;
    margin-bottom: 5px;
}
#map {
    /* height: 100%; */
    height: 600px;
    border: 4px solid #B87F32; 
}
#legend h2 {
    font-size: 17px;
}
/* 
#search_div {
    border: 2px solid red;
    margin-bottom: 2px;
}
*/

/*
#project_list_caption h2 {
    font-size: 17px;
}
*/
.project_list_caption {
     font-size: 17px;
}
#project_list_div {
    margin-top: 5px;
    margin-bottom: 20px;
}
#project_list_contents {
    min-height: 200px;
    min-width:  500px;
}
.tip_id_column_header {
    text-align: left;
}
.moneyColumn {
    text-align: right;
}
.dateColumn {
    text-align: right;
}

#tabs_div {
    width:  100%;
    height: fit-content;
}
.tabbody {
    height: fit-content;
}

/* Throttle the jQueryUI font size back a bit */
.ui-widget {
    font-size:90% !important;
}

/* The following is an experiment by BK 03/06/2019 */