/* 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;
}

.caption {
   color: #777777;
}

div.grey-box {
   background-color: #F5F5F5;
   border: 1px solid #E5E5E5;
}

/*
DD_roundies seems to be buggering the padding on IE so we add the
padding to an inner div.
*/
div.grey-box div.ie-padding-fix {
   padding: 0.5em;
}

/*
 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 {
   margin: 0px;
   margin-top: 1.8em;
   margin-bottom: 0.3em;
   color: #294579;
}

h1, h1 * {
   font-size: 18px;
}

h2 {
   margin: 0px;
   margin-top: 1.0em;
   margin-bottom: 0.3em;
   color: #294579;
   font-size: 14px;
}

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

ul {
   list-style: outside;
   margin-top:0.5em;
   padding-left: 1em;
   margin-left: 1em;
}

li {
   padding-top: 3px;
   list-style-type: circle;
}