/* Miscellaneous styles */
a img {
   border: none;
}

.left {
   float: left;
   text-align: left;
}

.right {
   float: right;
   text-align: right;
}

pre, code, pre * {
   font-family: Courier, monospace;
   background-color: #F5F5F5;
}

pre {
   padding-top: 0.5em;
   padding-bottom: 0.5em;
   border: 1px solid #E5E5E5;
}

code {
   padding: 1px;
}

pre .comment {
   color: #7F7F7F;
}

.first-line {
   padding-top: 0px;
   margin-top: 0px;
}

div.note {
   color: #333300;
   padding: 1em;
   border: 1px solid #aaaa55;
   border-left-width: 5px;
   background-color: #FFFFe0;
   margin-bottom: 2em;
   margin-left:0em;
   margin-right:0em;
}

div.note code, div.note pre
{
   font-family: Courier, monospace;
   background-color: #F5F5c0;
}

div.centered {
   text-align: center;
   margin-bottom: 1em;
}

.caption
{
   margin-top: 0.5em;
   margin-bottom: 1em;
   color:#777777;
}

/*
 Textile always puts this in so we need a style that inherits the
 fontsize to stop headings looking funny every time I enter
 GUI Commands
*/
.caps {
   font-size: inherit;
}

h1,
h2
{
   margin:0px;
   margin-top:1.8em;
   margin-bottom:0.3em;
}

h1 {
   color:#000000;
   font-size:17px;
}

h2 {
   /*color:#102550;*/
}

p
{
   margin-top:0px;
   text-align:justify;
}

table.definition-table
{
   /*border: 1px solid #E5E5E5;*/
   background-color:#F5F5F5;
}

table.definition-table th,
table.definition-table td
{
   text-align:left;
   padding:0.2em;
   vertical-align:top;
}

table.definition-table th
{
   background-color:#999999;
   color:#FEFEFE;
}
table.definition-table tr.odd td
{
   background-color:#E5E5E5;
}

dl dt
{
   padding-top: 0.3em;
   font-weight:bold;
}