a.side:link,a.side:visited { color: #084986; text-decoration: none; }
a.side:active,a.side:hover { color: #C40E8A; text-decoration: none; }
a.links:link,a.links:visited { color: #ffffff; text-decoration: none; }
a.links:active,a.links:hover { color: #ffff99; text-decoration: underline; }

h1 { font-family: 'Quattrocento', Calibri, serif; color: rgb(25,25,120);
text-align: center; }

body {
    font-family: 'Open Sans;', Trebuchet MS, Helvetica, Calibri, verdana,tahoma;
    font-size: 14pt;
    text-align: left;
#    background-image:url('cover-large.jpg');
    background: #87CEFA;
    margin-left: 5%;
    margin-right: 5%;
    }

    div#main {
        font-family: 'Open Sans', Trebuchet MS, Helvetica, Calibiri, verdana,tahoma;
        font-size: 13pt;
        padding-left: 15px;
        background: #ffffff;
        color: #000000;
        width: 800px;
        padding-top: 15px;
        padding-right: 24px;
        float: center;
        text-align: left;
        margin-top: 0%;
    }

div.footer {
    background: #ffffff;
    display:inline-block;
    height: auto;
}

div.fakefooter {
    display:inline-block;
    height: auto;
}


div.hanging {
   padding-left: 15px;
   text-indent: -15px;
}

div.hangingmore {
   padding-left: 45px;
   text-indent: -45px;
}

div.chapter {
   padding-left: 25px;
   text-indent: -25px;
}

div.chaptercontents {
   color: #666666;
   padding-left: 10px;
   text-indent: 0px;
}

P.breakhere {page-break-before: always}

span#leftfoot {
    font-size: 11px;
    text-align:left;
    float: left;
    }

    #rightfoot {
    font-size: 11px;
    text-align:right;
    float: right;
    }

div.outheader { 
   margin-top: 20px;
    display:inline-block;
    height: auto;
}


span#outleft {
    font-size: 16px;
    text-align:left;
    font-weight: bold;
    float: left;
    }

    #outright {
    font-size: 14px;
    text-align:right;
    float: right;
    }
       
div.leftText {
    text-align: left;
    width:173px;
    font-size: 11px;
    border-top: 5px #DADADA solid;
    border-bottom: 10px #DADADA solid;
    }
    
#printtop {
    display:none;
}

#topp {
    display:inline-block;
    height: auto;
    border-bottom: 3px #ffffff solid;
    border-top: 5px #ffffff solid;
    }
    
    
    #spacer {
    height: 15px;
    }

    #smallspacer {
    height: 3px;
    }
    
    .title {
    border-left: 15px #ffffff solid;
    font-size: 14px;
    font-weight: bold;
    color: #047391;
    
    }
    
span#name {
    font-size: 20px;
    text-align:left;
    float: left;
    font-family: "verdana";
    }

    #subtitle {
    font-size: 20px;
    text-align:right;
    float: right;
    font-family: "verdana";
    }
    
p.indent {
    text-indent: 5px;
    }
    
img#link {
    border: 0px;
    height: 24px;
    }
        
p.text {
    border-left: 15px #ffffff solid;
    border-bottom: 5px #ffffff solid;
    font-size: 13px;
    text-align: justify;
    line-height: 14px;
    }
    
    .indented {
    border-left: 20px #ffffff solid;
    font-size: 12px;
    text-align: left;
    line-height: 14px;
    }

left {
    background: #DADADA;
    width: 195px;
    height: 100%;
    }

    #linkbar {
    height: 20px;
    font-size: 12px;
    color: #eeffff;
    font-family: "verdana";
    font-weight: bold;
    text-align: center;
    background: #047391;
    word-spacing: 50px;
    }
    
    #right {
    text-align: left;
    }
    
ul.text {
    border-bottom: 5px #ffffff solid;
    margin-left: 18px;
    padding-left: 18px;
    font-size: 12px;
    text-align: left;
    line-height: 14px;
    }

#side {
   float: left;
   width: 200px;
   background: #DADADA;
   padding-left: 6px;
   padding-right: 6px;
   color: #000000;
   font-size: 12pt;
   
}

#main {
   margin-left: 220px;
   margin-right: 10%;
}

#full {
   margin-left: 3%;
   margin-right: 3%;
}


  p.changed {
    padding-left: 0.2em;
    border-left: solid;
    border-right: none;
    border-top: none;
    border-bottom: none;
    border-left-width: thin;
    border-color: red;
  }

div.credits {
   font-size: 9pt;
   text-align: right;
   padding-left: 90px;
   padding-right: 0px;
   margin-top:18pt;
   margin-bottom:12pt;
}

div.pdf {
   text-align:right;
   font-size:10pt;
}

div.webonly {
}

a.plain { text-decoration: none }
a.plain:visited { color: blue }
a.plain:hover { text-decoration: underline }


span.key-term {font-weight:bold}
span.SchemeCharacter {font-family:"Courier New";font-size:10pt;}
p.SchemeInteractions {
	font-family:"Courier New";
	font-size:10pt;
	margin-top:0pt;
	margin-bottom:0pt; }
p.SchemeOutput {
	font-family:"Courier New";
	font-size:10pt;
	margin-top:0pt;
	margin-bottom:0pt; 
	padding: 3pt;
	border: solid 1pt black;
	color: purple;}
p.Explain {
	margin-top:0pt;
	font-face:"Italics";
	margin-left: 60pt;
	margin-bottom:0pt; 
	padding: 3pt;
	color: grey;}
pre.SchemeOutput {
	font-family:"Courier New";
	font-size:10pt;
	font-face:bold;
	margin-top:0pt;
	margin-bottom:0pt; 
	padding: 3pt;
	border: solid 1pt black;
	color: purple;}
p.SchemeResults {
	font-family:"Courier New";
	font-size:10pt;
	margin-top:0pt;
	margin-bottom:.2em; 
	color: #333399;}		
p.SchemeError {
	font-family:"Courier New";
	font-size:10pt;
	margin-top:0pt;
	margin-bottom:.2em; 
	color: #FF0000;}		

p.SchemeInteractionsSmall {
	font-family:"Courier New";
	font-size:8pt;
	margin-top:0pt;
	margin-bottom:0pt; }
p.SchemeOutputSmall {
	font-family:"Courier New";
	font-size:8pt;
	margin-top:0pt;
	margin-bottom:0pt; 
	padding: 3pt;
	border: solid 1pt black;
	color: purple;}
p.SchemeResultsSmall {
	font-family:"Courier New";
	font-size:8pt;
	margin-top:0pt;
	margin-bottom:.2em; 
	color: #333399;}		
p.SchemeError {
	font-family:"Courier New";
	font-size:10pt;
	margin-top:0pt;
	margin-bottom:.2em; 
	color: #FF0000;}		








div.reading {
   margin-left: 50px;
   margin-right: 50px;
   border: 5px outset;
   border-color: #E08040;
   padding-left: 50px;
   padding-right: 50px;
   margin-top: 10pt;
   margin-bottom: 10pt;
   padding-top: 5px;
   padding-bottom: 5px;
   text-align: center;
}

div.download {
   margin-left: 50px;
   margin-right: 50px;
   border: 5px outset;
   border-color: #80E040;
   padding-left: 50px;
   padding-right: 50px;
   margin-top: 10pt;
   margin-bottom: 10pt;
   padding-top: 5px;
   padding-bottom: 5px;
   text-align: left;
}

div.longdownload {
   margin-left: 10px;
   margin-right: 10px;
   border: 5px outset;
   border-color: #80E040;
   padding-left: 10px;
   padding-right: 10px;
   margin-top: 5pt;
   margin-bottom: 5pt;
   padding-top: 5px;
   padding-bottom: 5px;
   text-align: left;
}

div.quote {
   text-align: right;
   font-size: 11pt;
   margin-left: 200px;   
   padding-bottom: 10px;
}

div.answer {
   margin-left: 10px;
   margin-right: 10px;
   margin-top: 4px;
   margin-bottom: 4px;
   padding-left: 5px;
   padding-right: 5px;
   padding-top: 3px;
   padding-bottom: 3px;
   border-color: solid 1pt #333333;
   border: 2px outset;
}


div.callout {
   margin-left: 25px;
   margin-right: 25px;
   border: 3px solid;
   border-color: #22AA00;
   padding-left: 15px;
   padding-right: 15px;
   margin-top: 10pt;
   margin-bottom: 10pt;
   padding-top: 5px;
   padding-bottom: 5px;
   text-align: left;
}

div.question {
   margin-left: 20px;
   margin-right: 20px;
   border: 5px outset;
   border-color: orange;
   padding-left: 12px;
   padding-right: 12px;
   margin-top: 10pt;
   margin-bottom: 10pt;
   padding-top: 5px;
   padding-bottom: 5px;
}

div.warning {
   margin-left: 25px;
   margin-right: 25px;
   border: 4px solid;
   border-color: #FF0000;
   padding-left: 15px;
   padding-right: 10px;
   margin-top: 10pt;
   margin-bottom: 10pt;
   padding-top: 5px;
   padding-bottom: 5px;
}

div.optionalquestion {
   margin-left: 25px;
   margin-right: 25px;
   border: 5px outset;
   border-color: #22AA00;
   padding-left: 15px;
   padding-right: 15px;
   margin-top: 10pt;
   margin-bottom: 10pt;
   padding-top: 5px;
   padding-bottom: 5px;
}


/* http://stopdesign.com/eg/buttons/3.0/code.html */
   /* Start custom button CSS here
    ---------------------------------------- */
    .btn {
      display:inline-block;
      background:none;
      margin:0;
      padding:3px 0;
      border-width:0;
      overflow:visible;
      font:100%/1.2 Calibri, "Trebuchet MS",Sans-serif;
      text-decoration:none;
      color:#333;
      }
    * html button.btn {
      padding-bottom:1px;
      }
    /* Immediately below is a temporary hack to serve the 
       following margin values only to Gecko browsers
       Gecko browsers add an extra 3px of left/right 
       padding to button elements which can't be overriden.
       Thus, we use -3px of left/right margin to overcome this. */
    html:not([lang*=""]) button.btn {
      margin:0 -3px;
      }
    .btn span {
      background:#ddd url(bg-button.gif) repeat-x 0 0;
      margin:0;
      padding:3px 0;
      border-left:1px solid #bbb;
      border-right:1px solid #aaa;
      }
    * html .btn span {
      padding-top:0;
      }
    .btn span span {
      position:relative;
      padding:3px .4em;
      border-width:0;
      border-top:1px solid #bbb;
      border-bottom:1px solid #aaa;
      }
    
    /* pill classes only needed if using pill style buttons ( LEFT |
    CENTER | RIGHT ) */
    button.pill-l span {
      border-right-width:0;
      }
    button.pill-l span span {
      border-right:1px solid #bbb;
      }
    button.pill-c span {
      border-right-style:none;
      border-left-color:#fff;
      }
    button.pill-c span span {
      border-right:1px solid #bbb;
      }
    button.pill-r span {
      border-left-color:#fff;
      }
    
    /* only needed if implementing separate hover/focus/active state for
    buttons */
    .btn:hover span, .btn:hover span span, .btn:focus span, .btn:focus
    span span {
      cursor:pointer; /* important for any clickable/pressable element
    */
      border-color:#9cf !important;
      color:#000;
      }
    .btn:active span {
      background-position:0 -400px;
      outline:none;
      }
    .btn:focus, .btn:active {
      outline:none; /* doesn't seem to be respected for <button>, only
    <a> */
      }
 
    /* use if one button should be the 'primary' button */
    .primary {
      font-weight:bold;
      color:#000;
      }


.hidelinks A:link {color: rgb(25, 25, 120); text-decoration: none;}
.hidelinks A:visited {color: rgb(25,25,120); text-decoration: none;}
.hidelinks A:active {color: #C40E8A; text-decoration: underline;}
.hidelinks A:hover {color: rgb(25,25,120); text-decoration: underline;}