body{ font-family: Verdana, Arial; font-size: 11; color:#000000 }
table{ text-align: justified; }
a{ color: #cc0000; text-decoration: underline; }
a:visited{ color: #880000; text-decoration: underline; }

/* floating images */
img.left-floating{ margin-right: 10px; float: left }
img.right-floating{ margin-left: 10px; float: right }

/* editing main page */
input.button{ margin-left: 10px; margin-right: 10px; }
input.edit{ margin: 10px; margin-bottom: 0px; width: 96%; }
textarea.edit{ margin: 10px; margin-bottom: 2px; width: 96%; }
/* editing navi */
input.edit-no-margin{ margin: 1px; width: 98%; }
a.edit{ position:relative; left:105px; top:-10px; height:0px; width:0px; display:inline; }

/* navigation */
.navi_top{ margin-left: 10px; margin-top: 0px; font-size: 12px; font-weight: bold; padding: 2px 4px 2px 4px; color: #002276; }
.navi_left{ margin-left: 21px; width: 123px; }

.menu{ margin-top: 5px; font-size: 10px; }
.menu ul, .menu li{ padding: 0; margin: 0; list-style-type: none; }
.menu ul{ margin: 0px; }
.menu li{ border: 1px solid #002276; border-bottom: 0 none; }
.menu li.lastchild{ border: 1px solid #002276; }
.menu ul li.selected{ background-color: #D1E1F9; }
.menu ul.level1{ font-size: 11px; font-weight: normal; background-color: #EBF5FF; }
/* navigation links */
.menu a, .menu a:visited{ display: block; padding: 0px 4px 2px 4px; color: #002276; font-weight: normal; text-decoration: none !important; }
.menu a:hover{ background-color: #D1E1F9; }


/* info boxes */
.code{
  margin: 20px; padding: 2px 4px 2px 4px; 
  font-size: 11px; text-align:justify;
  color: #002276; background: #ffffdd; border: 1px dashed #002276;
}
.java{
  margin: 0px; width: 776;
  font-family: Courier New, Courier; font-size: 10pt;
}
.info_head{
  margin: 20px; margin-bottom: 0px; width: 806; padding: 2px 4px 2px 4px; 
  font-size: 11; font-weight: bold;
  color: #002276; background: #EBF5FF; border: 1px solid #002276;
}
.info_text{
  font-size: 11px; text-align:justify;
  color: #002276; background: #ffffff;
}
.info_box{
  margin-top: 0px; margin-left: 40px; margin-right: 20px; margin-bottom: 10px; width: 786; padding: 2px 4px 2px 4px;
  font-size: 11px; text-align:justify;
  color: #002276; background: #ffffff; border: 1px solid #002276; border-top: 0 none;
}
.verb{
  margin-top: 5px; margin-bottom: 5px; margin-left: 20px; margin-right: 10px; padding: 2px 4px 2px 4px;
  font-size: 11px;
  color: #002276; background: #ffffff; border: 1px solid #002276;
}