/* Part of http://netcat.sourceforge.net/ */

body {
  margin: 0px;
  font-family: Arial;
  font-size: small;
  color: #000000;
}
a {
  color: #000090;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

.mainmenu {
  font-family: Verdana, Arial, Helvetica;
  font-size: small;
  color: #cc9900;
  text-align: left;
  background-color: #FFCC00;
}
.mainlinks {
  font-family: Verdana, Arial, Helvetica;
  font-size: small;
  color: #339933;
  text-align: left;
  background-color: #66CC33
}
.maintitle {
  font-family: Verdana, Arial, Helvetica;
  font-size: small;
  color: #000000;
  text-align: left;
  font-weight: bold;
}
.maintext {
  font-family: Verdana, Arial, Helvetica;
  font-size: small;
  color: #000000;
  text-align: justify;
}
.simpletext {
  font-family: Verdana, Arial, Helvetica;
  font-size: small;
  color: #000000;
}
.releasetab {
  font-family: Verdana, Arial, Helvetica;
  font-size: small;
  color: #000000;
  text-align: center;
  font-weight: normal;
}

.news_title {
  color: #ffffff;
  font-size: 14px;
  font-family: Arial;
  line-height: 1;
}
.news_text {
  color: #ffffff;
  font-size: 12px;
  font-family: Arial;
  line-height: 1;
}
a.news_text {
  color: #ffff00;
}
a.news_text:hover {
  text-decoration: underline;
}

.dltitle {
  background: #bbbbbb;
  color: #000000;
  font-size: small;
  font-family: Helvetica, Arial, Sans-serif;
  font-weight: bold;
  text-align: center;
}
.dlbody {
  background: #ffffff;
  color: #000000;
  font-size: x-small;
  font-family: Helvetica, Arial, Sans-serif;
}

/* font-variant: small-caps; broken on win32! */
.projtitle {
  font-family: Verdana, sans-serif;
  font-size: 30pt;
  font-weight: bold;
  color: #ffffff;
}
.projsubtitle {
  font-family: Verdana, sans-serif;
  font-size: 14pt;
  font-weight: bold;
  color: #336699;
}

h1 {
  font-family: Verdana, sans-serif;
  font-size: medium;
  color: #000000;
  font-weight: bold;
  font-style: italic;
}
h1:active {
  color: #336699;
}

/* PHP source code highlighting ------------------------------------------- */
div.phpcode {
  font-family: Courier;
  font-size: x-small;
}
div.phpcode span.html {
  color: black;
  background-color: transparent;
}
div.phpcode span.comment {
  color: #FF8000;
  background-color: transparent;
}
div.phpcode span.default {
  color: #0000BB;
  background-color: transparent;
}
div.phpcode span.keyword {
  color: #007700;
  background-color: transparent;
}
div.phpcode span.string {
  color: #DD0000;
  background-color: transparent;
}

/* EOF -------------------------------------------------------------------- */