/* CSS definitions for all media */


/* for Wiki only */

img.logo { float: right; clear: right; border: #FFFFFF solid; border-width: 5px 5px 5px 100px; }
div.diff { padding-left: 5%; padding-right: 5%; }
div.old { background-color: #FFFFAF; }
div.new { background-color: #CFFFCF; }
table.history { border-style: none; }
td.history { border-style: none; }
table.user { border-style: solid; border-width: thin; }
table.user tr td { border-style: solid; border-width: thin; padding: 5px; text-align: center; }


/* anchor definitions */

a
{
  text-decoration: none;
}

;a:link
;{
; color: #0000FF;
;}

;a:visited
;{
; color: #00007F;
;}

a:hover
{
  background: #FFFF7F;
}

a:active
{
  color: #FF0000;
  background: #FFFF7F;
}


/* styles for standard elements */

body
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 95%;
  font-style: normal;
  font-weight: normal;
  color: #333333;
}

p, dt
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 95%;
  font-style: normal;
  font-weight: normal;
  color: #333333;
}

p.abstract
{
  font-style: italic;
  color: #660000;
}

h1
{
  font-family: "Times New Roman", Times, serif;
  font-size: 200%;
  font-style: italic;
  font-weight: bold;
  color: #660000;
  border-color: white white #CCCCCC;
  border-style: solid;
  border-bottom-width: 3px;
}

h1 a
{
  text-decoration: none;
}

h2
{
  font-family: "Times New Roman", Times, serif;
  font-size: 150%;
  font-style: italic;
  font-weight: bold;
  color: #660000;
}

h3
{
  font-family: "Times New Roman", Times, serif;
  font-size: 120%;
  font-style: italic;
  font-weight: normal;
  color: #660000;
}

dt
{
  font-family: "Times New Roman", Times, serif;
  font-size: %110%;
  font-style: italic;
  font-weight: bold;
  color: #660000;
  padding: 15px 10px 5px;
}

blockquote, blockquote p
{
  font-style: italic;
  font-family: "Times New Roman", Times, serif;
}

ol li
{
  padding-top: 7px;
}

ul li
{
  padding-top: 7px;
}

ul li ul li
{
  padding-top: 0px;
}


/* textbox */

table.textbox
{
  margin: 20px;
  border-collapse: collapse;
}

table tr td.textbox_title
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 75%;
  font-weight: bold;
  padding: 5px;
  color: #FFFFFF;
  background-color: #660000;
  border: 1px solid #660000;
}

table tr td.textbox_text
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 75%;
  padding: 5px;
  color: #660000;
  background-color: #FFFFFF;
  border: 1px solid #660000;
}


/* imagebox */

table.imagebox
{
  margin: 20px;
}

table tr td.imagebox_image
{
  text-align: center;
  padding: 5px;
}

table tr td.imagebox_title
{
  font-family: Arial, Helvetica, sans-serif;
  font-style: italic;
  font-size: 75%;
  text-align: center;
  padding: 5px;
  color: #660000;
}


/* table rows with divider */

table tr td.separated
{
  border-top-width: 1px;
  border-top-style: solid;
  border-top-color: #CCCCCC;
  margin: 0px;
  padding-top: 20px;
  padding-right: 5px;
  padding-bottom: 20px;
  padding-left: 5px;
}


/*
 * formatted tables
 */

table.table
{
  margin: 5px;
  padding: 5px;
}

tr.table_headrow
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 80%;
  font-weight: bold;
  background-color: #873F3F;
  color: #FFFFFF;
}

tr.table_bodyrow_odd
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 80%;
  font-weight: normal;
  background-color: #E7E2D8;
}

tr.table_bodyrow_even
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 80%;
  font-weight: normal;
  background-color: #F8F7F3;
}


/* misc class definitions */

.menu
{
  font-family: Arial, Helvetica, sans-serif;
  font-size: 75%;
  font-style: italic;
  font-weight: normal;
}

.intrapagelink
{
  font-size: 80%;
  margin: 0px;
  padding: 2px 2px 2px 10px;
  background-color: #F7F7F7;
  border-left-width: 1px;
  border-left-color: #660000;
  border-left-style: solid;
}

.prevpagelink
{
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  font-size: 90%;
  padding: 5px 5px;
  text-align: left;
  background-color: #F7F7F7;
}

.nextpagelink
{
  font-family: Arial, Helvetica, sans-serif;
  font-weight: bold;
  font-size: 90%;
  padding: 5px 5px;
  text-align: right;
  background-color: #F7F7F7;
}

.comment
{
  font-family: Arial, Helvetica, sans-serif;
  font-style: normal;
  font-weight: normal; 
  color: #660000;
  padding-top: 5px;
  padding-right: 0px;
}

.red
{
  color: #660000;
}

.small-red
{
  font-size: 80%;
  color: #660000;
}


/* EOF */