#body {
    margin-left: 250px;
    margin-right: 20px;
    padding: 10px;
  }

  #menu {
	float: left;
	width: 230px;
    padding: 20px 0px 0px 2px;
  }

  /* styling the menu */

  #menu a, #menu span {
	text-decoration: none;
	font-weight: bold;
	font-size: 130%;
  }

  #menu a:hover {
	text-decoration: underline;
  }

  #menu .webgen-menu-item-selected {
	border-left: 3px solid black;
  }

  #menu ul {
	list-style-type: none;
	padding: 0px;
	margin-left: 10px;
  }

  #menu li > ul {
	font-size: 95%;
  }

  #menu li {
    margin: 0.0em 0px;
    padding: 2px 0px;
    padding-left: 5px;
    border-left: 3px solid #CCCCCC;
  }