.menu {
  padding-bottom: 20px;
}

.col1 {
  width: 200px;
  padding-left:0px
}

.mainbody {
  width: 500px;
  border: 1px solid #cccccc;
  padding-left: 10px;
  padding-right: 10px;
}

.col3 {
  width: 250px;
  padding-left: 10px;
  padding-right: 10px;
  border: 1px solid #CCCCCC;
  margin-left:5px;
}
.col3 dl { margin: 0; padding: 0; }
.col3 dt { margin: 0; padding: 0; font-weight: bold; text-decoration: underline; }
.col3 dd { margin-left: 0.5em; padding: 0 0 0 0; }
}