.nobr {
  white-space: nowrap
}

.ww_output {
  background-color: #d0d0d0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

.ww_output_scrolling {
  background-color: #d0d0d0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
  height: 200pt;
  overflow: auto;
}

.ww_project {
  background-color: #c0c0e0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

.ww_project_scrolling {
  background-color: #c0c0e0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
  overflow: auto;
}

.ww_script {
  background-color: #e0c0e0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

.ww_script_scrolling {
  background-color: #e0c0e0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
  height: 200pt;
  overflow: auto;
}

.ww_vb6 {
  background-color: #e0e0a0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

.ww_vb6_scrolling {
  background-color: #e0e0a0;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
  height: 200pt;
  overflow: auto;
}

.ww_vbnet {
  background-color: #e0e080;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

.ww_vbnet_scrolling {
  background-color: #e0e080;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
  height: 200pt;
  overflow: auto;
}

.ww_cs {
  background-color: #e0c080;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

.ww_cpp {
  background-color: #e08080;
  padding-left: 1em;
  padding-right: 1em;
  border: 1px solid black;
}

#ww_sidebar {
  float: left;
  width: 20em;
  background-color: #d0d0d0;
  font: 8pt/12pt Verdana,Arial,Helvetica,sans-serif;
}

#ww_main {
  margin-left: 20em;
  padding: 3px;
  background-color: white;
  font: 8pt/12pt Verdana,Arial,Helvetica,sans-serif;
  border-left: 1px solid black;
}

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

#ww_sidebar li
{
  margin-bottom: 0;
  color: black
}

#ww_sidebar a
{
  color: black;
}

#ww_sidebar a:link, #ww_sidebar a:visited
{
  text-decoration: none;
}

#ww_sidebar a:hover
{
  background-color: #808080;
  color: black;
}

.ww_current
{
  background-color: white;
}