/* (slightly modified) Project 13 styles */

body {margin: 0; padding: 0; color: black;
  background: white url(../bonus/pix/blue.gif) 80% 0 repeat-y;}
h3, h4, h5, p, pre, table, div {margin-right: 22%;
  margin-left: 8%; width: auto;}
div.listing pre {border: 1px solid #006; border-width: 1px 0;
  padding: 0.5em 1em; margin: 0.125em 0 1.5em;}
div.listing h5 {margin-left: 0.5em;}
table {border: 1px solid #006; border-width: 2px 0;
  font-size: 90%; margin-bottom: 1.5em; width: 70%;}
th {color: #006; border-bottom: 1px solid #006; text-align: left;}
th, td {padding: 0.125em 0.66em;}
ul, ol {margin-right: 25%; margin-left: 13%; padding: 0;}
h3 {font-variant: small-caps;}
h3, h4, h5 {margin-top: 1.25em; margin-bottom: 0;}
h3 {font-size: 200%; margin: 0 22% 0.66em 8%;}
h4 {font-size: 110%;}
h5 {font-size: 100%;}
h5 span {color: #006; margin-right: 0.5em;}
p {margin-top: 0.5em; margin-bottom: 1em; line-height: 1.2em;}
code, pre {font-family: "Courier New", Courier, monospace;}
code {color: #006;}
pre {margin-left: 10%; font-size: 80%;}
pre b {color: maroon; font-weight: normal;}
div#masthead {margin: 0 20% 2.5em 0; padding: 2em 0 1.5em 0;
  border: 1px solid #006; border-width: 0 1px 1px 0;
  background: #BDF;}
div#masthead blockquote {font-size: 90%; font-style: italic;
  margin: 2em 22% 0.5em 10%;}
div#attrib {font-size: 90%; font-style: italic;
  text-align: right; font-variant: small-caps;}
div#previews {float: right; width: 33%; margin: 0; text-align: center;}
div#previews img {width: 80%; margin-top: 1em;}
ul li {margin-bottom: 0.5em;}
div.note {float: right; clear: right; border-width: 0;
  width: 18%; margin: 0 1% 0 0; padding: 0;
  text-align: right; font: 80% Arial, Verdana, Helvetica, sans-serif;
  background: transparent url(../bonus/pix/blue.gif) 50% 15px repeat-x;
  voice-family: "\"}\""; voice-family:inherit;
  width: 19%;}
div.note h5, div.note p {text-align: left;
  margin-left: 1em; margin-right: 0;}
div.note img {height: 30px; width: 30px; margin: 0;}
div.note h5 {margin: -5px 30px 0 1em; padding: 0;
  font-variant: normal;}
div.web p {margin: -10px 30px 0 1em;}
div.note code, div.caption code {font-size: 100%;}
div.web, div.web h5 {color: #399;}
div.tip, div.tip h5 {color: #006;}
div.warn, div.warn code, div.warn h5 {color: maroon;}
hr {display: block; clear: both; visibility: hidden;}
div.figure {float: left; width: 67%; margin: 0; padding: 0;
  text-align: right;}
div.caption {float: right; width: 30%; margin: 0 1% 0 0;
  padding: 0 0 0 40%;
  border-top: 1px solid #006;
  voice-family: "\"}\""; voice-family:inherit;
  width: 19%; padding-left: 10%;}
div.caption h5 {margin: 0 0.5em 0 0; padding: 0.33em 7px 0 0.5em;
  color: black; letter-spacing: 1px;
  background: #9BD url(../bonus/pix/captioncurve.gif) bottom right no-repeat;}
div.caption p {font: italic 80% Arial, Verdana, Helvetica, sans-serif;
  color: #555; margin: 0; padding: 0.25em 0.5em;}

/* extra styles */

ol.branching {margin-right: 20%;}
ol.branching img {float: right; margin: 0 1em;}
h5.aside {background: #006 url(../bonus/pix/aside-tab.gif) top right no-repeat;
  color: white;
  margin-right: 33%; padding: 0.3em 20px 0.2em 0;}
h5.aside span {background: url(../bonus/pix/aside-dblarr.gif) 5px 40% no-repeat;
  color: white; padding-left: 30px;
  font-variant: small-caps;}
div.aside {background: #BDF; padding-bottom: 0.75em;}
div.aside p {margin: 0 0.66em 0.66em !important; font-style: italic;}
div.aside pre {margin: 0.66em 3em !important;}
div.aside code {color: #33F;}

/* recovery styles */

div#main {margin: 0; padding: 0 0 3em 0; width: 100%;}
div#footer {margin: 0;}

/* goback styles */

div#goback {font: bold 80% Verdana, Arial, sans-serif;
   background: rgb(69%,75%,85%);
   border-bottom: 3px double rgb(7%,25%,52%);
   margin: 0; padding: 0 1%; text-align: right;}
div#goback a {color: rgb(7%,15%,52%);}