/* 
   Design for Context presentation stylesheet

   Based on W3C's "Slidy": slidy.css and w3c-blue.css
*/

body
{
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  width: 100%;
  height: 100%;
  color: black;
  background-color: white;
  font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;
  font-size: 14pt;
}

.hidden { display: none; visibility: hidden }

div.header {
  position: absolute;
  z-index: 2;
  left: 0;
  right: 0;
  top: 0;
  bottom: auto;
  height: 2.95em;
  width: 100%;
  padding: 0 0 0 0;
  margin: 0 0 0 0;
  border-width: 0;
  border-style: solid;
  background-color: #005A9C;
  border-bottom-width: thick;
  border-bottom-color: #95ABD0;
}

div.footer {
  position: absolute;
  z-index: 80;
  left: 0;
  right: 0;
  top: auto;
  bottom: 0;
  height: 1.4em;
  margin: 0;
  font-size: 80%;
  font-weight: normal;
  padding-left: 0;
  padding-right: 0;
  padding-top: 0;
  padding-bottom: 0.1em;
  color: black;
  background-color: #bae743;
}

div.toolbar {
  position: fixed; z-index: 200;
  top: auto; bottom: 0; left: 0; right: 0;
  height: 1.4em; text-align: right;
  padding-left: 1em;
  padding-right: 1em; 
  font-size: 60%;
  font-style: normal;
  color: green; background: rgb(240,240,240);
}

div.background {
  display: none;
}

div.handout {
  margin-left: 20px;
  margin-right: 20px;
}

div.slide {
  z-index: 20;
  margin: 0 0 0 0;
  padding-top: 0;
  padding-bottom: 0;
  padding-left: 20px;
  padding-right: 0;
  border-width: 0;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  line-height: 120%;
  background-color: transparent;
}

div.background {
  z-index: 1;
  position: fixed;
  vertical-align: bottom;
  left: auto;
  right: 0;
  top: auto;
  bottom: 0;
  padding: 0 0 0 0;
  margin: 0 0 0 0;
  border-width: 0;
  background-color: white;
}

div.background img {
  height: 4em;
}

/* this rule is hidden from IE which doesn't support + selector */
div.slide + div[class].slide { page-break-before: always;}

div.slide h1 {
  padding-left: 0em;
  padding-right: 0;
  padding-top: 0.5em;
  padding-bottom: 0.1em;
  margin-bottom: 1.5em;
  margin-top: 0.5em;
  margin-left: 1.5em;
  margin-right: 0em;
  color: #006C00;
  height: 1.1em;
  font-size: 150%;
  /* font-family: "Lucida Sans Unicode", san serif; */
  font-weight: bold;
  line-height: 1.1em;
  background: white;
  border-bottom: 2px solid;
}

div.slide h1 a {
  color: #006C00;
  text-decoration: none;
}

div.slide h1 a:link {
  color: #006C00;
  text-decoration: none;
}

div.slide h1 a:visited {
  color: #006C00;
  text-decoration: none;
}

div.slide h1 a:hover {
  color: red;
  text-decoration: underline;
}

div.slide h1 a:active {
  color: red;
  text-decoration: underline;
}

div.slide h2 {
  color: black;
  font-size: 120%;
  font-weight: bold;
  line-height: 1.1em;
  background: white;
}

p { font-size: 120%; }

p,pre,ul,ol,blockquote,h2,h3,h4,h5,h6,dl,table {
  margin-left: 2em;
  margin-right: 2em;
}

p.subhead { font-weight: bold; margin-top: 2em; }

div.slide.titlepage {
  text-align: center;
}

div.slide.titlepage h1 {
  padding-top: 15%;
  padding-bottom: 15%;
  border-bottom: none;
}

div.slide.titlepage p {
  font-size: 110%;
  font-weight: normal;
}

div.toc {
  position: absolute;
  top: auto;
  bottom: 4em;
  left: 4em;
  right: auto;
  width: 60%;
  max-width: 30em;
  height: 30em;
  border: solid thin black;
  padding: 1em;
  background: rgb(240,240,240);
  color: black;
  z-index: 300;
  overflow: auto;
  display: block;
  visibility: visible;
}

div.toc-heading {
  width: 100%;
  border-bottom: solid 1px rgb(180,180,180);
  margin-bottom: 1em;
  text-align: center;
}


/* the following makes the pre background translucent */
/* opacity is a CSS3 property but supported by Mozilla family */
/* filter is an IE specific feature that also requires width */
div.slide.slanty pre {
  width: 93%;  /* needed for IE filter to work */
  opacity: .8;
  filter: alpha(opacity=80);
}

img.withBorder {
  border: 2px solid #c60;
  padding: 4px;
}


pre {
 font-size: 80%;
 font-weight: bold;
 line-height: 120%;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 1em;
 padding-right: 1em;
 border-style: solid;
 border-left-width: 1em;
 border-top-width: thin;
 border-right-width: thin;
 border-bottom-width: thin;
 border-color: #95ABD0;
 color: #00428C;
 background-color: #E4E5E7;
}

li pre { margin-left: 0; }

@media print {
  div.slide {
     display: block;
     visibility: visible;
     position: relative;
     border-top-style: solid;
     border-top-width: thin;
     border-top-color: black;
  }
  div.slide pre { font-size: 60%; padding-left: 0.5em; }
  div.handout { display: block; visibility: visible; }
}

blockquote { font-style: italic }

img { background-color: transparent }

p.copyright { font-size: smaller }

.center { text-align: center }
.footnote { font-size: smaller; margin-left: 2em; }

a img { border-width: 0; border-style: none }

a:visited { color: navy }
a:link { color: navy }
a:hover { color: red; text-decoration: underline }
a:active { color: red; text-decoration: underline }

a {text-decoration: none}
.navbar a:link {color: white}
.navbar a:visited {color: yellow}
.navbar a:active {color: red}
.navbar a:hover {color: red}

div dt
{
  margin-left: 0;
  margin-top: 1em;
  margin-bottom: 0.5em;
  font-weight: bold;
}
div dd
{
  margin-left: 2em;
  margin-bottom: 0.5em;
}

div.cover p.explanation {
  font-style: italic;
  margin-top: 3em;
}


.smaller { font-size: smaller }

td,th { padding: 0.2em }

span.launch {
  /* sets the box with links for launching demos
  position: absolute;
  z-index: 20;
  top: 3.2em;
  bottom: auto;
  left: auto;
  right: 5px;
  max-width: 8em;
  border: solid thin maroon;
  padding: 0.5em;
  background: rgb(230,230,230);
  overflow: auto;
  display: block;
  visibility: visible;
  */
  float:right;
  max-width: 8em;
  border: solid thin maroon;
  padding: 0.5em;
  background: rgb(230,230,230);
  overflow: auto;
  display: block;
  margin: -2.3em .3em 0 0;  // <-- -2em lifts up this box to the level of h1 
}  

span.launch ul { 
  /* list-style: none; */
  /* margin 3rd value affects vertical line spacing between bullets */
  margin: 0;
  /* padding: 0.05em 0.05em 0.05em 0.05em; */
  padding: 0;
  /* list-style-type: circle;
  list-style-position: outside;
  line-height: 100%;
  */
}

span.launch li { 
  font-size: 70%;
  list-style-image: none;
  list-style-type: circle;
  list-style-position: outside;
  line-height: 100%;
}

ul {
  margin: 0.5em 1.5em 0.5em 2em;
  padding: 0;
}

ol {
  margin: 0.5em 1.5em 0.5em 2em;
  padding: 0;
}

/* not used (see below) 
ul { list-style-type: square; }
ul ul { list-style-type: disc; }
ul ul ul { list-style-type: circle; }
ul ul ul ul { list-style-type: disc; }
li { margin-left: 0.5em; margin-top: 0.5em; }
li li { font-size: 90%; font-style: normal }
li li li { font-size: 80%; font-style: normal }
li li { font-size: 85%; font-style: italic }
li li li { font-size: 85%; font-style: normal }
*/

ul li { 
  /* margin 3rd value affects vertical line spacing between bullets */
  margin: 0.1em 0 0.8em 1.5em;
  padding: 0 0 0 0.5em;
  font-size: 120%;
  list-style-image: url(dfc-arrow.gif);
  list-style-position: outside;
  line-height: 140%;
}

/* workaround IE's failure to support background on li for print media */
@media print { ul li { list-style: disc; padding-left: 0; background: none; } }

ol li { 
  margin: 0.1em 0em 0.6em 1.5em;
  padding: 0 0 0 0.3em;
  font-size: 120%;
  line-height: 140%;
  list-style-type: decimal;
}

li li { 
  margin: 0.1em 0 0.8em 0.3em;
  font-size: 90%; 
  font-style: normal;
  list-style-image: none;
  list-style-type: disc;
  background: transparent;
  padding: 0 0 0 0.3em;
}
li li li { 
  /* font-size: 90%; */ 
  margin: 0.1em 0 0.8em 0.3em;
  font-style: normal;
  list-style-type: square;
  background: transparent;
  padding: 0 0 0 0.3em;
}
li li li li {
  margin: 0.1em 0 0.8em 0.3em;
  font-size: 80%; 
  list-style-type: disc;
  background: transparent;
  padding: 0 0 0 0;
}

li ol li {
  list-style-type: decimal;
}


li li ol li {
  list-style-type: decimal;
}

/* rectangular blue bullet + unfold/nofold/fold widget */

/*
 setting class="outline on ol or ul makes it behave as an
 ouline list where blocklevel content in li elements is
 hidden by default and can be expanded or collapsed with
 mouse click. Set class="expand" on li to override default
*/

ol.outline li:hover { cursor: pointer }
ol.outline li.nofold:hover { cursor: default }

ul.outline li:hover { cursor: pointer }
ul.outline li.nofold:hover { cursor: default }

ol.outline { list-style:decimal; }
ol.outline ol { list-style-type:lower-alpha }

ol.outline li.nofold {
  padding: 0 0 0 20px;
  background: transparent url(nofold-dim.gif) no-repeat 0px 0.5em;
}
ol.outline li.unfolded {
  padding: 0 0 0 20px;
  background: transparent url(fold-dim.gif) no-repeat 0px 0.5em;
}
ol.outline li.folded {
  padding: 0 0 0 20px;
  background: transparent url(unfold-dim.gif) no-repeat 0px 0.5em;
}
ol.outline li.unfolded:hover {
  padding: 0 0 0 20px;
  background: transparent url(fold.gif) no-repeat 0px 0.5em;
}
ol.outline li.folded:hover {
  padding: 0 0 0 20px;
  background: transparent url(unfold.gif) no-repeat 0px 0.5em;
}

ul.outline li.nofold {
  padding: 0 0 0 52px;
  background: transparent url(bullet-nofold-dim.gif) no-repeat 5px 8px;
}
ul.outline li.unfolded {
  padding: 0 0 0 52px;
  background: transparent url(bullet-fold-dim.gif) no-repeat 5px 8px;
}
ul.outline li.folded {
  padding: 0 0 0 52px;
  background: transparent url(bullet-unfold-dim.gif) no-repeat 5px 8px;
}
ul.outline li.unfolded:hover {
  padding: 0 0 0 52px;
  background: transparent url(bullet-fold.gif) no-repeat 5px 8px;
}
ul.outline li.folded:hover {
  padding: 0 0 0 52px;
  background: transparent url(bullet-unfold.gif) no-repeat 5px 8px;
}

li ul.outline li.nofold {
  padding: 0 0 0 21px;
  background: transparent url(nofold-dim.gif) no-repeat 5px 8px;
}
li ul.outline li.unfolded {
  padding: 0 0 0 21px;
  background: transparent url(fold-dim.gif) no-repeat 5px 8px;
}
li ul.outline li.folded {
  padding: 0 0 0 21px;
  background: transparent url(unfold-dim.gif) no-repeat 5px 8px;
}
li ul.outline li.unfolded:hover {
  padding: 0 0 0 21px;
  background: transparent url(fold.gif) no-repeat 5px 8px;
}
li ul.outline li.folded:hover {
  padding: 0 0 0 21px;
  background: transparent url(unfold.gif) no-repeat 5px 8px;
}

img.withBorder {
  border: 2px solid #c60;
  padding: 4px;
}

/* this is a hack to hide property from IE6 and below */
div[class="footer"] {
  position: fixed;
}

#hidden-bullet {
  visibility: hidden;
  display: none;
}

div.slide.cover {
  color: white;
  background-color: white;
  padding-top: 0;
  padding-right: 0;
  padding-left: 0;
  height: 100%;
}

div.slide.cover background {
  z-index: 1;
  position: fixed;
  vertical-align: top;
  left: 0;
  right: auto;
  top: 0;
  bottom: auto;
  height: 15em;
  padding: 0 0 0 0;
  margin: 0 0 0 0;
  border-width: 0;
  background-color: white;
}
div.slide.cover img {
	padding-top: 1em;
	padding-left: 1em;
}

div.slide.cover h1 {
  padding-top: 10%;
  padding-bottom: 15%;
  border-bottom: none;
  margin: 0;
  color: #006C00;
  height: auto;
  text-align: center;
}

div.slide.cover h2 {
  color: #006C00;
  text-align: center;
}

div.slide.cover p {
  font-size: 100%;
  font-weight: normal;
  margin: 0;
  color: black;
  text-align: center;
}

div.slide.cover a {
  color: #006C00;
}

div.slide.cover a:hover, div.slide.cover a:active {
  color: red; text-decoration: underline;
}