body {
  color: inherit; /*added by eric*/
  background: white;
  font-size: 10pt;
}
#header, #mainleft, #mainright .punchcontainer, #mainright .menutop, #mainright .thecustomizer, #mainright p, #mainright #validate, .disclaimercontainer, .disclaimerpunch {
  display: none;
}
#content {
  width: auto;
  margin: 0 5%;
  padding: 0;
  border: 0;
  float: none !important;
  color: black;
  background: white; /*added by eric*/
/*  background: transparent none; */ /*removed by eric*/
}
.navlink, .what {
}
.info {
  font-size: 60%;
  float: right;
}
div#content {
  margin-left: 5%;
  margin-right: 5%;
  padding-top: 1em;
  border-top: 1px solid #930;
}
a:link, a:visited {
  color: #520;
  background: white; /*added by eric*/
/*  background: transparent; */ /*removed by eric*/
  font-weight: bold;
  text-decoration: underline;
}

#content a:link:after, #content a:visited:after {
  content: " (" attr(href) ") ";
  font-size: 90%;
}

.what:after {
  content: " (" attr(title) ") ";
}

/* the following code will work only with CSS3. */
#content a[href^="/"]:after {
  content: " (http://ieeecs.soc.uwm.edu" attr(href) ") ";
}

#mainright #disclaimer {
  display: block;
  position: static;
  padding-left: 15%;
  padding-right: 15%;
  padding-top: 10px;
  bottom: 5px;
  color: #000;
  background: white; /*added by eric*/
  font-size: 80%;
  text-align: justify;
}
.head {
  display: block;
  padding-left: 10px;
  padding-top: 3px;
  color: #000;
  background-color: white; /*added by eric*/
/*  background-color: transparent; */
  font-size: larger;
}

.desc {
  display: block;
  padding-left: 15px;
  padding-top: 3px;
  padding-right: 15px;
  padding-bottom: 3px;
  border-bottom: 1px dashed #ccc;
}

.descmiddle {
  display: block;
  padding-left: 15px;
  padding-top: 3px;
  padding-right: 15px;
  padding-bottom: 3px;
}

.desctop {
  display: block;
  padding-left: 15px;
  padding-top: 3px;
  padding-right: 15px;
  padding-bottom: 3px;
  border-bottom: 1px dashed #ccc;
}

.descbottom {
  display: block;
  padding-left: 15px;
  padding-top: 3px;
  padding-right: 15px;
  padding-bottom: 3px;
}

.top {
  display: none;
}