/* Javadoc style sheet */

/* Define colors, fonts and other style attributes here to override the defaults  */

/* Page background color */
body {
  background-color: #FFFFEE;
  font-family: Helvetica, Arial, sans-serif;
}

body.singleFrame {
  background-color: #999999;
  color: #000000;
  margin: 0.5cm;
  font-family: Helvetica, Arial, sans-serif;
}

a:link    { color:#11FFCC; }
a:visited { color:#555555; }
a:active  { color:#FF0000; }

th,td {
  vertical-align: top;
}

.center {
  text-align: center;
}

/** Custom style for in-page navigation lines (see communities.jsp for an example */
.navigation {
  background-color: #777777;
  font-size: 8pt;
  text-align: center;
}

/* Please mark stuff that is still not perfectly clear or sure or still needs */
/* some meditation before it can be finally released with                     */
/* <p class="pending"><strong>PENDING:</strong>...</p>.                       */
/* or                                                                         */
/* <div class="pending"><strong>PENDING:</strong>...</div>.                   */
.pending {
  color:#FF0000;
}

.note {
  color:#008800;
  font-style:italic;
}

div {
  padding: 1em;
}


/* ====================    related work:    ==================== */

/* Use this for specifications */
.book {
  background-color: #FFFFFF;
}

/* Use this for specifications */
.specification {
  background-color: #AAAAAA;
}

/* Use this for specifications */
.software {
  background-color: #FFCC99;
}

/* Use this for reference pages with links to other work */
.linkCollection {
  background-color: #FFFF33;
}

/* Use this for scientific related literature (also project results) */
.scientific {
  background-color: #AAAAFF;
}

/* Use this for scientific related projects (usually just projects in progress) */
.scientificProject {
  background-color: #CCCCFF;
}

/* Use this for commercial related work */
.commercial {
  background-color: #FFAAAA;
}

/* Use this for lay-oriented related work */
.lay {
  background-color: #AAFFAA;
}

/* ============== Here comes the default Javadoc style sheet ============== */

/* Table colors */
#TableHeadingColor     { background: #CCCCFF } /* Dark mauve */
#TableSubHeadingColor  { background: #EEEEFF } /* Light mauve */
#TableRowColor         { background: #FFFFFF } /* White */

/* Font used in left-hand frame lists */
#FrameTitleFont   { /*font-size: normal;*/ font-family: normal }
#FrameHeadingFont { /*font-size: normal;*/ font-family: normal }
#FrameItemFont    { /*font-size: normal;*/ font-family: normal }

/* Example of smaller, sans-serif font in frames */
/* #FrameItemFont  { font-size: 10pt; font-family: Helvetica, Arial, sans-serif } */

/* Navigation bar fonts and colors */
#NavBarCell1    { background-color:#EEEEFF;}/* Light mauve */
#NavBarCell1Rev { background-color:#00008B;}/* Dark Blue */
#NavBarFont1    { font-family: Arial, Helvetica, sans-serif; color:#000000;}
#NavBarFont1Rev { font-family: Arial, Helvetica, sans-serif; color:#FFFFFF;}

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

/* PSP specific stuff goes here - please make sure to explain everything well */
/* so anybody who reads this file can make use of your ideas!                 */

/* paramdoc is for tables that describe parameters that can be used with      */
/* Applets                                                                    */

table.paramdoc {
  color:#000000;
  background-color:#AAAAAA;
  border-style:solid;
  border-color:#000000;
  border-width:1pt;
}
table.paramdoc tr th    {
  color:#000000;
  background-color:#DDDDDD;
  padding:6pt;
  vertical-align:top;
  font-weight:bold;
  text-align:left;
}
table.paramdoc tr th.top    {
  text-align:center;
}
table.paramdoc tr td    {
  color:#000000;
  background-color:#EEEEEE;
  padding:6pt;
}