H1 {
	color:#00007f;
	border-bottom: 2px solid #888888;
	font-size: 160%;
	margin-top: 0px;
	margin-bottom: 0px;
	text-align:left;
	padding-bottom: 2px;
	padding-top: 2px
}

H2 {
	color:black;
	border-top:1px solid #008800;
	border-bottom:1px solid #008800;
	background-color:#ddffdd;
	font-size: 140%;
	margin-top: 0px;
	margin-bottom: 0px;
	text-align:left;
	padding-bottom: 2px;
	padding-top: 2px;
	padding-left: 2px
}

H3 {
	color:black;
	border:1px solid #000077;
	background-color:#ddddff;
	font-size: 110%;
	margin-left: 2px;
	margin-right: 2px;
	margin-top: 0px;
	margin-bottom: 0px;
	text-align:left;
	padding-bottom: 2px;
	padding-top: 2px;
	padding-left: 16px
}

H4 {
	text-decoration: underline;
	font-size: 100%;
	margin-left: 2px;
	margin-right: 2px;
	margin-top: 0px;
	margin-bottom: 0px;
	text-align:left;
	padding-bottom: 2px;
	padding-top: 2px;
	padding-left: 8px
}

.gbox {
	color:black;
	background-color:#cccccc;
	padding: 8px;
	margin: 4px;
}

.g2box {
	color:black;
	background-color:#dddddd;
	padding: 8px;
	margin: 4px;
}

.o_box {
	color:black;
	background-color:#ffd522;
	border: 1px solid red;
	padding: 2px; margin: 2px
}

div#body {
  background-color:#ffffff;
}
div#menu {
  float:left;
  background-color:#eeffff;
  width:200px;
  padding-top:1em;
}
div#main {
  margin-left:200px;
  padding-left:5px;
  background-color:#ffffff;
  border-left:1px solid #000;

  margin-right:1px;
  padding-right:5px;
  border-right:1px solid #000;
}
div#menu2 {
  float:right;
  background-color:#eeffee;
  width:120px;
  padding-top:1em;
}

#cse-search-box {
    width: 180px !important;
    float: left;
    margin-top: 7px;
    margin-right: 11px;
}
#cse-search-box table.gsc-search-box td.gsc-input {
    padding: 0 !important;
}
#cse-search-box input[type="text"] {
    border-radius: 5px 0 0 5px;
    height: 28px;
    padding: 0 !important;
    width: 120px;
    float: left;
    margin-left: 18px;
}
#cse-search-box input[type="submit"] {
    background-color: #333333;
    border: 1px solid #333333;
    border-radius: 0 5px 5px 0;
    color: #FFFFFF;
    float: right;
    height: 28px;
    margin-left: 0 !important;
    width: 40px;
}