@charset "UTF-8";
/* CSS Document */

body{font-family:"Arial","Helvetica","Geneva",sans-serif;font-size:12pt;color:#000;background:#FFFFFF;hyphens:auto}
.big{font-size:120%}
.MathJax{font-size:12pt!important;}
.HR{border:0px none;max-width:200%}
body.paper{background:#F0E2CC url(images/Candlelight_Cream.jpg) repeat fixed}
body.sky{margin:0px;background:rgb(190,220,240) url(images/sky-gradient.png) repeat-x fixed}
body.tech{margin:0px;background:rgb(251,253,255) url(images/tech-gradient.png) repeat-x fixed}
@media only screen and (max-width: 600px) {
body.paper{background:white}
body.sky{background:white}
body.tech{background:white}
}
ul{list-style:disc outside url(images/bullet0-red.png)}
.sky ul{list-style:disc outside url(images/bullet0-blue.png)}
.tech ul{list-style:disc outside url(images/bullet0-blue.png)}
ul ul{list-style-image:url(images/bullet1-red.png)}
.sky ul ul{list-style-image:url(images/bullet1-blue.png)}
.tech ul ul{list-style-image:url(images/bullet1-blue.png)}
ul ul ul{list-style-image:url(images/bullet2.gif)}
.sky ul ul ul{list-style-image:url(images/bullet2.gif)}
.tech ul ul ul{list-style-image:url(images/bullet2.gif)}
ul.clean{list-style-image:none;list-style-type:disc}
ul.clean ul{list-style-image:none;list-style-type:circle}
ul.clean ul ul{list-style-image:none;list-style-type:square}

img.icon{border:0px none;max-width:20px;max-height:20px}
img.home{position:relative;bottom:-2px;border: 0px none;margin-right:1em}

.simple img{border:0px none}
.simple a{text-decoration:none}

/* Default formatting for hyperlinks */
a{text-decoration:underline}
a:link{color:#900000}
a:visited{color:#660}
a:hover{color:#00F}
a:active{color:#F00}
a img{border:0px none}
a.icon{white-space:normal;text-decoration:underline;font-size:90%}
a.icon img{border:0px none;vertical-align:middle;margin-right:0.5em}
a.pdf img{border:0px none;vertical-align:middle;margin-right:0.5em}
a.icon img:hover{opacity:0.6}
a.pdf img:hover{opacity:0.6}
a.hide{text-decoration:none}

.nowrap{white-space:nowrap}
.sky img{border:1px solid rgb(64,96,128)}
.tech img{border:0px none}
.tech a img{border:0px none}
dfn{font-style:italic}
table.frame{border:0px none;border-collapse:collapse;padding:0px;font-size:inherit}
div.bq{margin:0.5em 2.5em}
.blackline{color:#000}
.math{font-family:"Times New Roman","Times Roman","Times",serif;font-style:normal}
.math th{font-family:"Times New Roman","Times Roman","Times",serif;font-style:normal}
.sym{font-family:"Arial Unicode MS","Times New Roman","Times Roman","Times",serif}/* for certain Unicode symbols */
.text{font-family:"Arial","Helvetica","Geneva",sans-serif}
.script{font-family:"Kunstler Script","Script",cursive}
div.eqtext{margin:1ex 0px;text-align:center;border:0px none;padding:0px;border-collapse:collapse;white-space:normal;max-width:100%}
div.equation{margin:1ex 0px;text-align:center;border:0px none;padding:0px;border-collapse:collapse;white-space:normal;max-width:100%}
.equation caption{caption-side:bottom;font-family:"Arial","Helvetica","Geneva",sans-serif;padding-top:4px}
.equation td{padding:0px;white-space:nowrap}
table.equation{border-collapse:collapse;border:0px none;white-space:nowrap;padding:0px;font-family:"Times New Roman","Times Roman","Times",serif}
.centered{text-align:center}
.centered table{margin-left:auto;margin-right:auto;text-align:left}
.uncentered{text-align:left}
.uncentered table{margin-left:0px;margin-right:auto}
details > summary{cursor:pointer;border:0px none}
details > summary span.button{background-color:#BBDDFF;border:#BBDDFF outset 3px;font-weight:bold;font-size:smaller;padding:3px 5px 3px 5px}
details div.proof{margin:1em;padding:0.5em;background:#DDEEFF;border:0px none}
sub{font-size:83%}
sup{font-size:83%}
.footnote{font-family:"Arial","Helvetica","Geneva",sans-serif;font-size:80%;font-style:normal;color:black;text-align:left}
/* hyperlinks in glossary */
dl.gloss a:link{color:#900;text-decoration:none}
dl.gloss a:visited{color:#660;text-decoration:none}
dl.gloss a:hover{color:#00F;text-decoration:underline}
dl.gloss a:active{color:#F00;text-decoration:none}
/* Glossary index */
body.tech table.glossidx{
 margin:0.5em auto 0px auto;padding:0px;
 border-collapse:separate;border-spacing:8px 5px;border:medium ridge gray;
 background:#009 none;text-align:center;box-shadow:10px 10px 5px #888888
}
body.tech table.glossidx tr td{
 width:1.5em;height:1.33em;min-width:1.5em;text-align:center;font-weight:bold;vertical-align:middle;
 color:#910;background:white;border:medium ridge gray;padding:2px 0px 0px 0px
}
body.tech table.glossidx tr td span.current{
 display:inline-block;width:100%;height:100%;
 text-align:center;font-size:inherit;text-decoration:none;border:0px none;color:red;background:white
}
body.tech table.glossidx a{
 display:inline-block;width:100%;height:100%;text-align:center;font-size:inherit;text-decoration:none;border:0px none
}
body.tech table.glossidx a:link{color:#900;background:white}
body.tech table.glossidx a:visited{color:#900;background:white}
body.tech table.glossidx a:hover{color:blue;background:yellow}
body.tech table.glossidx a:active{color:yellow;background:#930}

a.top{font-size:90%;font-weight:bold;text-decoration:underline}
a.top:link{color:#050}
a.top:visited{color:#050}
a.top:hover{color:blue}
a.top:active{color:red}

a.ptn{color:Navy;font-weight:bold;text-decoration:none}
a.ptn:link{color:Navy}
a.ptn:visited{color:Navy}
a.ptn:hover{color:#0B0}
a.ptn:active{color:Navy}

dt{font-weight:bold}
h1{color:#603;font-size:24pt;font-family:inherit;font-weight:normal;font-style:normal;hyphens:none}
h1.main{color:black;font-weight:bold;font-size:x-large;font-family:inherit;font-style:normal;text-align:center;margin-bottom:0px}

.banner{
 color:black;font-weight:bold;font-size:24pt;font-family:"Arial","Helvetica","Geneva",sans-serif;font-style:normal;
 text-align:center;margin-bottom:5px
}
div.shadow h1.banner{margin-top:0px}
div.paper h1.banner{margin-top:0px}
h2{font-style:normal;font-weight:normal;color:#603;font-family:inherit;font-size:160%;hyphens:none}
h3{font-style:normal;font-weight:normal;color:#603;font-family:inherit;font-size:140%;hyphens:none}
h4{font-style:normal;font-weight:normal;color:#603;font-family:inherit;font-size:120%;hyphens:none}
h5{font-style:normal;font-weight:normal;color:#603;font-family:inherit;font-size:110%;hyphens:none}
h6{font-style:normal;font-weight:normal;color:#603;font-family:inherit;font-size:100%;hyphens:none}
hr{color:#603}
.sky h2{color:#006}
.sky h3{color:#006}
.sky h4{color:#006}
.sky h5{color:#006}
.sky h6{color:#006}
.sky hr{color:#006}
.tech h2{color:#006}
.tech h3{color:#006}
.tech h4{color:#006}
.tech h5{color:#006}
.tech h6{color:#006}
.tech hr{color:#006}

td.hike{vertical-align:top;text-align:center;padding:2px 0px;width:120px;border:0px none}
td.description{vertical-align:top;text-align:left;padding-left:0.5em;padding-right:0px;width:auto;min-width:200px;border:0px none}
/* thumbnail images that click like buttons */
img.thumb {border:2px outset #AA9988;box-shadow:3px 3px 3px #888}
img.thumb:hover{box-shadow:3px 3px 3px #999;opacity:0.9}
img.thumb:active{position:relative;top:1px;left:1px;box-shadow:2px 2px 2px #BBB}
img.hand {border:2px outset #AA9988;box-shadow:5px 5px 5px #888;cursor:zoom-in}
img.hand:hover{box-shadow:4px 4px 4px #999;opacity:0.9}
img.hand:active{position:relative;top:1px;left:1px;box-shadow:3px 3px 3px #BBB}

.hike img{border:2px outset #F0B080;box-shadow:3px 3px 3px #888}
.hiking img{border:2px outset #F0B080;box-shadow:3px 3px 3px #888}
tr.hiking td{vertical-align:top}
.hike img:hover{box-shadow:3px 3px 3px #999}
.hike img:active{position:relative;top:1px;left:1px;box-shadow:2px 2px 2px #BBB}
/* <var> is for math, not necessarily a variable. You still need <i> for italics. */
var{font-family:"Times New Roman","Times Roman","Times",serif;font-style:normal}
var.bar{font-family:"Times New Roman","Times Roman","Times",serif;font-style:normal;text-decoration:overline}
kbd{font-family:"Courier New","Courier",monospace;font-weight:bold;font-style:normal;font-size:100%}
code{font-family:"Courier New","Courier",monospace;font-weight:bold;font-style:normal;font-size:100%}
.glosshead{
 display:inline-block;font-family:"Engravers MT","Times New Roman","Times Roman","Times",serif;font-weight:normal;font-size:160%;
 padding:0px 8px;text-align:center;border:6px double #603;min-width:0.75em
}
.theorem{margin:1em 1.5em 1em 1.5em;border-top:6px double rgb(102,0,51);border-bottom:6px double rgb(102,0,51);padding:0.6em 0.6em 0.3em 0.6em}
div.theorem p{margin:0px}
div.proof{margin:0.5em 1.5em 1em 1.5em;border-bottom:2px solid rgb(102,0,51);padding-bottom:.3em}
.definition{margin:1em 1.5em 1em 1.5em;border:6px double rgb(102,0,51);padding:0.6em}
span.proclaim{font-size:110%;font-variant:small-caps;font-family:"Arial","Helvetica","Geneva",sans-serif;font-weight:bold;color:rgb(102,0,51);padding-right:0.5em}
blockquote.Note{font-size:90%;margin-left:2em;margin-right:2em}
div.Note{font-size:90%;font-family:inherit;margin-left:2em;margin-right:2em;padding-top:0.5em;padding-bottom:0.5em}
span.Proof{font-variant:small-caps;font-weight:bold;font-family:"Arial","Helvetica","Geneva",sans-serif;text-decoration:none}
body.basalt{font-family:"Arial","Helvetica","Geneva",sans-serif;background:white url(images/basalt1.jpg) repeat fixed}
body.brblur{font-family:"Arial","Helvetica","Geneva",sans-serif;background: white url(images/brblur.jpg) repeat fixed}
body.whitered{font-family:"Arial","Helvetica","Geneva",sans-serif;background: white url(images/whitered.jpg) repeat fixed}
span.gap{display:inline-block;width:0px;background:none}
/* hyperlinks in a navigation bar */
div.nav a{display:inline-block;padding:4px 0.75em;border:0px none;background:none}
div.nav a:link{color:white;text-decoration:none}
div.nav a:visited{color:white;text-decoration:none}
div.nav a:hover{color:yellow;text-decoration:underline}
div.nav a:active{color:#AF0;text-decoration:underline}

.sky span.btn{
 display:inline-block;
 border:thick outset #007;
 font-size:90%;margin:2px;padding:6px 0.5em;
 text-align:center;vertical-align:middle;
 color:white;background:#009;
 white-space:nowrap;text-decoration:none
}
.tech a.btn{
 display:inline-block;border:thick outset #007;font-size:90%;margin:2px;padding:6px 0.5em;
 text-align:center;vertical-align:middle;white-space:nowrap;text-decoration:none
}
.tech a.btn:link{border-color:#007;color:white;background:#009}
.tech a.btn:visited{border-color:#007;color:white;background:#009}
.tech a.btn:hover{border-color:blue;color:yellow;background:blue}
.tech a.btn:active{border-color:blue;color:red;background:blue}

.sky a.btn{
 display:inline-block;border:outset thick #007;font-size:90%;margin:2px;padding:6px 0.5em;
 text-align:center;vertical-align:middle;white-space:nowrap;text-decoration:none
}
.sky a.btn:link{border:outset thick #007;color:white;background:#009}
.sky a.btn:visited{border:outset thick #007;color:white;background:#009}
.sky a.btn:hover{border:outset thick blue;color:yellow;background:blue}
.sky a.btn:active{border:outset thick blue;color:red;background:blue}
.paper a.btn{
 display:inline-block;border:outset thick #900;font-size:90%;margin:2px;padding:6px 0.5em;
 text-align:center;vertical-align:middle;white-space:nowrap;text-decoration:none
}
.paper a.btn:link{border:outset thick #900;color:white;background:#900}
.paper a.btn:visited{border:outset thick #900;color:white;background:#900}
.paper a.btn:hover{border:outset thick red;color:yellow;background:red}
.paper a.btn:active{border:outset thick red;color:#AF0;background:red}
div.content nav.shadow{border-radius:11px;box-shadow:3px 3px 3px gray}
div.paper nav.shadow{border-radius:11px;box-shadow:3px 3px 3px gray}
div.content div.nav-shadow{border-radius:11px;box-shadow:3px 3px 3px gray}
div.paper div.nav-shadow{border-radius:11px;box-shadow:3px 3px 3px gray}
div.nav{color:#FF8;border-radius:11px;font-size:90%;text-align:center;padding:4px 0px}
.sky div.nav{box-shadow:inset 0px 3px 12px 1px #8080E0;background:#002080}
.tech div.nav{box-shadow:inset 0px 3px 12px 1px #8080E0;background:#000090}
.paper div.nav{box-shadow:inset 0px -3px 12px 1px #700000;background:#B00000}
div.nav span.arrow{
 display:inline-block;
 border:0px none;background:none;text-align:center;white-space:nowrap;padding:0px;margin-left:0px;margin-right:0px
}
div.nav span.link{
 display:inline-block;
 min-width:3em;border:0px none;background:none;text-align:center;white-space:nowrap;padding:0px 0.75em
}
div.nav span.here{
 display:inline-block;
 min-width:3em;border:0px none;background:none;text-align:center;white-space:nowrap;padding:0px 0.75em;font-weight:bold
}

h1.banner a:hover{color:black;text-decoration:none;hyphens:none;}

table.code{background:#BDF none;border:6px ridge #007;border-collapse:separate;border-spacing:1px}
.code td{background:white none;padding:2px 1em;vertical-align:top;border:2px outset #CCC}
.code th{background:#009 none;color:#FF8;padding:2px 1em;border:2px outset #007}
.code thead td{background:#009 none;color:#FF8;padding:2px 1em;border:2px outset #007}
.code thead th{background:#009 none;color:#FF8;padding:2px 1em;border:2px outset #007;font-weight:normal}

.missing{color:#F00;font-style:italic}
b.sc{font-variant:small-caps}
footer{ /* border-top:2px ridge black */
 display:block;width:100%;min-height:1.25em;border:0px none;font-family:"Arial","Helvetica","Geneva",sans-serif;
 margin:0.75em 0px 0px 0px;padding:0.5em 0px 0px 0px;text-align:left;hyphens:none;clear:both;
}

footer div{display:inline-block;vertical-align:top;padding:0px;margin:0px;white-space:normal;text-align:left;box-sizing:border-box;border:0px none}
footer div.left{display:inline-block;text-align:left;width:20%;max-width:30%;min-width:20%}
footer div.center{display:inline-block;text-align:center;width:60%;max-width:60%;min-width:40%}
footer div.right{display:inline-block;text-align:right;font-size:70%;font-style:normal;color:black;width:20%;max-width:30%;min-width:20%}
footer div.lefthalf{display:inline-block;text-align:left;width:50%}
footer div.righthalf{display:inline-block;text-align:right;width:50%}
footer.right{text-align:right;width:100%}

footer div.right a{text-decoration:none;color:#000090;cursor:default}
footer div.righthalf a{text-decoration:none;color:#000090;cursor:default}
footer.right a{text-decoration:none;color:#000090;cursor:default}

img.reader{border:0px none;margin:0px;vertical-align:top;max-width:100%}
footer img.reader{max-width:75%}
img.validator{border:0px none;margin:0px;vertical-align:middle;max-width:50%;min-width:50px}
img.validator5{margin:0px;vertical-align:middle;max-width:50%;width:32px;height:32px;border:0px none;filter:drop-shadow(2px 2px 2px gray)}
div.shadow{max-width:1200px;margin:auto;border:20px outset #CCC;border-radius:10px;padding:0px;border-image:url(images/border.png) 20 stretch;box-sizing:border-box}
div.shadow > div.content{padding:0.5em;background:white;margin:0px;width:auto;height:auto}
@media only screen and (max-width: 600px){
 div.shadow{margin:0px;max-width:100%;border:0px none}
}
div.paper{
 font-family:"Arial","Helvetica","Geneva",sans-serif;color:#000;background:#FBF8E8 none;
 min-width:260px;max-width:1200px;border:3px outset #842;padding:0.5em;margin:0px auto;border-radius:12px;box-shadow:2px 2px 2px gray;box-sizing:border-box
}
@media only screen and (max-width: 600px) {
 div.paper{border:0px none;border-radius:0px}
}
div.white{
 font-family:"Arial","Helvetica","Geneva",sans-serif;color:#000;background:RGB(251,253,255) none;
 min-width:260px;max-width:1200px;border:thick ridge gray;padding:0.5em;margin:1em auto
}
div.white p{text-align:left}

div.photos{white-space:normal;min-width:300px;max-width:100%;width:100%;padding:0px;margin:0px;border:0px none}
div.col{display:inline-block;vertical-align:top;min-width:300px;max-width:100%;width:auto;margin:0px;padding:0px}
div.item{white-space:normal;min-width:300px;max-width:100%;width:auto;border:0px none;margin:5px 0px;padding:0px;text-align:left;box-sizing:border-box}
div.photos > div.col{min-width:300px;max-width:100%;width:48%}
div.photos > div.item{display:inline-block;vertical-align:top;width:48%}
@media only screen and (max-width: 700px) {
div.photos > div.col{width:auto}
div.photos > div.item{width:auto}
}
div.col > div.item{display:inline-block;width:100%;max-width:100%;clear:both}
a.img{padding:0px}
div.item > a.img{display:block;float:left;min-width:120px;max-width:25%;text-align:center;border:0px none;padding-right:0.5em}
div.item > a.img > img.thumb{border:0px none;max-width:100%;margin-bottom:0px;cursor:zoom-in}
div.item > span.img{display:block;float:left;min-width:120px;max-width:25%;text-align:center;border:0px none;padding-right:0.5em}
div.item > span.img > img.thumb{border:0px none;max-width:100%;margin-bottom:0px;cursor:zoom-in}
a.zoom img.thumb{cursor:zoom-in}

img.powerset {width:9px; height:11px;}
sub img.powerset {width:7px; height:9px;}
div.Note img.powerset {width:8px; height:10px;}

.dropdown {
 position: relative;
 display: table-cell;
}

.dropdown-content {
 display: none;
 border: thin navy solid;
 position: absolute;
 background-color: white;
 min-width: 120px;
 box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
 padding: 0.5em 0.5em;
 z-index: 1;
 font-size:12pt;
}

.dropdown-content p {
 margin: 0px;
 padding: 0px 1em;
}

.dropdown-content hr {
 color:#d9d9d9;
}
.dropdown-content a {
 text-decoration:none;
 color:navy;
 width:100%;
 text-align:left;
}
.dropdown-content a:hover { color:red; }
.dropdown:hover .dropdown-content {
 display: block;
}

div.hamburger {
 display:table-cell;
 padding:0px;
 margin:0px;
 text-align:left;
 width:1em;
 height:1.25em;
 font-size:24pt;
}

div.banner h1 {
 display:table-cell;
}

.hamburger details {
 position:relative;
 display:inline;
}

.hamburger details summary {
 list-style-type: none;
 text-align:left;
 width:1em;
 padding:0px;
 margin:0px;
}

.hamburger details[open] summary::after {
 content: "✕";
}
.hamburger details:not([open]) summary::after {
 content: "☰";
}

.hamburger details summary::-webkit-details-marker {
 display: none;
}
.hamburger-content {
 border: thin navy solid;
 position: absolute;
 background-color: white;
 box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
 padding: 0.5em 0.5em;
 z-index: 1;
 font-size:12pt;
}

.hamburger-content p {
 margin: 0px;
 padding: 0px 1em;
}

.hamburger-content hr {
 color:#d9d9d9;
}
.hamburger-content a {
 text-decoration:none;
 color:navy;
 text-align:left;
}
.hamburger-content a:hover { color:red; }