body {
	font-family: sans-serif;
	font-size: 95%;
	background: #fafafa url(gradient.jpg) repeat-x top;
	color: black;
	margin: 0;
	padding: 0;
}

body.framed #menu-area {
        visibility: hidden;
}

a.external {
	background: url(external.png) center right no-repeat;
	padding-right: 13px;
}

#banner-area {
	width: 100%;
	border-bottom: 1px solid #aaa;
	overflow: hidden;
}

#banner-title a {
	font-size: 200%;
	padding-top: 0.2em;
	padding-left: 0.2em;
	text-decoration: none;
	white-space: nowrap;
	overflow: hidden;
	color: #002bb8;
	background: none;
}

#banner-menu {
	padding: 0.4em;
	white-space: nowrap;
}

#banner-menu a {
	padding: 0 .4em 0 0;
}

#banner-menu span {
	padding: 0 .4em 0 0;
}

#sourceforge-logo {
	position: absolute;
	top: 5px;
	right: 5px;
}

/*** menu on the left ***/

#menu-area {
	position: absolute;
	top: 4.5em;
	width: 11.5em;
	margin: .5em 0 0 0;
}

.menu-title {
	font-size: 95%;
	background-color: #fafafa;
	border: 1px solid #aaa;
	border-bottom-width: 0;
	padding: .2em .8em .2em .5em;
}

.menu-box {
	font-size: 95%;
	background: white url(menu-gradient.jpg) repeat-y left;
	color: black;
	border: 1px solid #aaa;
	margin: 0 0 1em 0;
	padding: 0.4em;
}

.menu-box a {
	text-decoration: none;
}

.menu-level-1 {
	margin: .2em .2em .2em .2em;
	padding-left: 1em;
	background: url(bullet.gif) center left no-repeat;
}
.menu-level-2 {
	margin: .2em .2em .2em 1.2em;
	padding-left: 1em;
	background: url(bullet.gif) center left no-repeat;
}


/** content ***/

#content-area {
	position: absolute;
	top: 4.5em;
	left: 12em;
	margin: 0 0 0 -12em;
	width: 100%;
}

#content {
	margin: .5em 0 0 12em;
	padding: 0 1em 1.5em 1em;
	border: 1px solid #aaa;
	border-right: none;
	background: white;
}

body.framed #content {
        margin-left: 0;
}

#footer {
	font-size: 80%;
	text-align: center;
}

#footer img {
	margin: 1em;
}


/********/

table {
	font-size: 100%;
	color: black;
	background-color: white;
}

table.simple {
	margin: 1em 0 1em 0;
	border: 1px solid #ccc;
	border-collapse: collapse;
}

table.simple th, table.simple td {
	padding: 0.3em 0.3em 0.3em 0.3em;
	vertical-align: top;
	border: 1px solid #ccc;
}
table.simple th {
	text-align: left;
}


th.coverage-name {
	width: 20em;
}

th.coverage-figure {
	width: 6em;
}

table.coverage {
	width: 110px;
	border: 0;
	border-collapse:collapse;
}

table.coverage td {
	padding: 0;
	border: 0;
}

img {
	border: none;
	vertical-align: middle;
}

p {
	margin: .4em 0 .5em 0;
	line-height: 1.5em;
}

p img {
	margin: 0;
}

h1, h2, h3, h4, h5, h6 {
	color: black;
	background: none;
	font-weight: normal;
	margin: 0;
	padding-top: .5em;
	padding-bottom: .20em;
	border-bottom: 1px solid #aaa;
}

h1 { font-size: 190%; }

h2 { font-size: 150%; }

h3, h4, h5, h6 {
	border-bottom: none;
}
h3 { font-size: 130%; }
h4 { font-size: 120%; }
h5 { font-size: 100%; }
h6 { font-size: 80%;  }


.toc-1 {
	padding: 1em 0 1em 0;
}
.toc-1-nr {
	padding-right: 0.5em;
}

.toc-2 {
	padding: .3em 0 .3em 2em;
}
.toc-2-nr {
	padding-right: 0.5em;
}

.toc-3 {
	padding: .3em 0 .3em 4.5em;
}

.toc-3-nr {
	padding-right: 0.5em;
}

.toc-4 {
	padding: .3em 0 .3em 7.5em;
}

.toc-4-nr {
	padding-right: 0.5em;
}

.toc-5 {
	padding: .3em 0 .3em 11em;
}

.toc-5-nr {
	padding-right: 0.5em;
}
*

/* Javadoc */

/* Table colors */
.TableHeadingColor     { background: #fafafa } /* Dark mauve */
.TableSubHeadingColor  { background: #fafafa /*#EEEEEE*/ } /* Light mauve */
.TableRowColor         { background: white /*#FFFFFF*/ } /* White */

/* Font used in left-hand frame lists
.FrameTitleFont   { font-size: 100%; font-family: Helvetica, Arial, sans-serif }
.FrameHeadingFont { font-size:  90%; font-family: Helvetica, Arial, sans-serif }
.FrameItemFont    { font-size:  90%; font-family: Helvetica, Arial, sans-serif }
*/

/* Navigation bar fonts and colors */
.NavBarCell1    { background-color: white /*#EEEEFF*/;} /* Light mauve */
.NavBarCell1Rev { background-color: white } /* Dark Blue */


.NavBarFont1    { /*font-family: Arial, Helvetica, sans-serif;  color:#000000;*/}
.NavBarFont1Rev { /*font-family: Arial, Helvetica, sans-serif;  color:#000000;*/}


.NavBarCell2    { /*font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;*/}
.NavBarCell3    { /*font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;*/}

table.javadoc {
	border: 1px solid #ccc;
	border-collapse: collapse;
}
table.javadoc th, table.javadoc td {
	padding: .3em .3em .3em .3em;
	vertical-align: top;
	border: 1px solid #ccc;
}


pre {margin-top: 5;
     margin-bottom: 5;
     font-family: "courier new", courier, sans-serif
}

  /* java keywords plus the literals - true, false, null */
  .key {
    color: blue;
    font-weight: normal;
  }
  
  .key:hover {
    color: blue;
    background-color: #ffff99;
  }

  /* string literals */
  .str {
    color: #b00000;
  }
  /* char literals */
  .ch {
    color: #d00000;
  }
  /* number literals */
  .num {
    color: #037507;
  }
  /* normal comments */
  .comm {
    color: #f60;
    font-style: italic;
  }
  /* javadoc comments */
  .jdoc {
    color: #060;
    font-style: normal;
  }
  /* line numbers */
  .ln {
    color: #b0b0b0;
    font-style: normal;
  }

  .key, .str, .ch, .num, .jdoc, .comm, .ln {
    background-color: transparent;
  }

  /* identifiers */
  .id {
    color: #014;
    background-color: transparent;
  }

  /* brackets
     b1 - '{', '}'
     b2 - '('. ')'
     b3 - '[', ']'
  */
  .b1, .b2, .b3 {
  }
  /* '{' and '}' */
  .b1 {
  }

  /* operators */
  .op {
    background-color: transparent;
  }