.px16{
  margin-top : 1px;
  margin-left : 1px;
  margin-right : 1px;
  margin-bottom : 1px;
  font-size : 16px;
}
.magin{
  margin-top : 1px;
  margin-left : 1px;
  margin-right : 1px;
  margin-bottom : 1px;
}
.px12{
  font-size : 12px;
}
.style2 {
  margin-top: 1px;
  margin-left: 1px;
  margin-right: 1px;
  margin-bottom: 1px;
  font-size: 16px;
  font-weight: bold;
}
.style5 {
  color: #FF0000;
}

.style7 {
  font-size: smaller;
}
#menu_waku{
  padding-top : 6px;
  padding-left : 6px;
  padding-right : 6px;
  padding-bottom : 6px;
  margin-top : 4px;
  margin-left : 4px;
  margin-right : 4px;
  margin-bottom : 8px;border-width : 1pt 1pt 1pt 1pt;border-style : solid solid solid solid;border-color : green green green green;
  width : 750px;
  
  background-color : #d7ffd7;
  font-size : 16px;
  font-weight : bolder;
}