/* 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: 0.5em;
   border: 1px solid #aaaa55;
   border-left-width: 5px;
   background-color: #FFFFe0;
   margin-top: 2em;
   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;
}

table#shortcuts {
   border: 2px solid #999999;
}

table#shortcuts tr.title th {
   background-color: #999999;
   color: white;
   text-align:left;
}

table#shortcuts tr.odd td {
   background-color: #F0F0F0;
}

table#shortcuts .mac-keystroke, .keystroke {
   white-space: nowrap;
}

table#durations th {
   text-align:left;
   white-space:nowrap;
}

.keystroke {
   font-family: Lucidia Console, monospace;
}

div.button-bar {
   text-align: center;
   padding-top: 2em;
}

/*
 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-left: 0;
   margin-right: 0;
   margin-top: 1.8em;
   margin-bottom: 0.3em;
   color: #444444;
}

h1 {
   font-size: 17px;
}

h2 {
   font-size:14px;
}

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