div#content, div#content * {
  font-size: 12px;
  line-height: 16px;
/* fix all headers accordingly
  font-size: 14px;
  line-height: 18px;
*/
}

div#content h1, div#content h2, div#content h3, div#content h4, div#content h5,
div#content h1 *, div#content h2 *, div#content h3 *, div#content h4 *, div#content h5 * {
  color: #339966;
  font-size: 20px;
  font-weight: normal;
  text-decoration: none;
  margin: 0;
  margin: 0 0 6px 0;
}
div#content h2, div#content h2 *, div#content h4, div#content h4 * {
  font-size: 15px;
  font-weight: bold;
}
div#content h3, div#content h3 *, div#content h5, div#content h5 * {
  font-size: 18px;
  text-decoration: underline;
}
div#content h4, div#content h4 *, div#content h5, div#content h5 * { font-size: 12px; }
div#content h4, div#content h5 { margin: 4px 0 2px 0; }
div#content h4.inline, div#content h5.inline { display: inline; padding-right: 4px; }
div#content .big-thin {
  color: #000000;
  font-size: 24px;
  font-weight: normal;
  text-decoration: none;
}

div#content span.strong, div#content span.strong * { font-weight: bold; }

div#content .subtitle, div#content .subtitle * { font-size: 11px; }
div#content .perm-link { font-size: smaller; color: #909090; }
div#content .perm-link * { font-size: 1em; color: #909090; }

div#content div.content {
  width: 90%;
  margin: 12px auto;
  text-align: left;
}

div#content div.welcome {
  width: 80%;
  text-align: center;
  margin: 0 auto;
}
div#content div.content pre.output {
  margin-bottom: 0;
  white-space: pre-wrap;       /* css-3 */
  white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
  white-space: -pre-wrap;      /* Opera 4-6 */
  white-space: -o-pre-wrap;    /* Opera 7 */
  word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

div#content div.welcome form td a img { float: left; }
div#content div.welcome form td input { margin: 15px 0 0 6px; }

div#content div.content ul, div#content div.content ol {
  margin-top: 3px;
  margin-bottom: 9px;
}

div#content div.box {
  width: 40%;
  border-width: 1px 0 0 1px;
  margin: 15px;
  padding: 0 0 0 6px;
}
div#content table.columns div.box {
  width: 90%;
  margin: 0 0 15px 0;
}

div#content div.box h2 {
  background-color: #33CCAA;
  color: #FFFFFF;
  margin: 0 0 3px -6px;
  padding: 0 0 3px 6px;
}

div#content .quote {
  border: 1px dashed #D0D0D0;
  font-size: smaller;
  font-style: italic;
  margin: 9px;
  padding: 6px;
  background-color: #F5F5F5;
}
div#content div.quote {
  width: 400px;
}
div#content span.quote {
  width: 60%;
  display: block;
}