/* w3c-ac.css

   Copyright (c) 2005 W3C (MIT, ERCIM, Keio), All Rights Reserved.
   W3C liability, trademark, document use and software licensing
   rules apply, see:

   http://www.w3.org/Consortium/Legal/copyright-documents
   http://www.w3.org/Consortium/Legal/copyright-software
*/
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; visible: hidden }

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

div.background {
  display: none;
}

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

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

div.slide.titlepage.h1 {
  padding-top: 40%;
}

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

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

div.slide h1 {
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.3em;
  padding-bottom: 0.3em;
  margin-top: 0;
  margin-left: 0;
  margin-right: 0;
  margin-bottom: 0.8em;
  display: block; 
  font-size: 110%;
  line-height: 1em;
  color: white;
  background-color: #005A9C;
}

pre {
 color: rgb(0,128,0); 
 line-height: 120%;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 2em;
 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;
}

li pre { margin-left: 0; }

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}

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: 85%; font-style: italic }
li li li { font-size: 85%; font-style: normal }

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


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

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

.smaller { font-size: 80%; }

td,th { padding: 0.2em }

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

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

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

ul li { 
  list-style: none;
  margin: 0.1em 0em 0.6em 0;
  padding: 0 0 0 40px;
  background: transparent url(bullet.png) no-repeat 5px 8px;
  line-height: 100%;
  list-style: disc; padding-left: 0; background: none; 
}

ol li { 
  margin: 0.1em 0em 0.6em 1.5em;
  padding: 0 0 0 0px;
  line-height: 140%;
}

li li { 
  font-size: 85%; 
  font-style: italic;
  list-style-type: disc;
  background: transparent;
  padding: 0 0 0 0;
}
li li li { 
  font-size: 85%; 
  font-style: normal;
  list-style-type: circle;
  background: transparent;
  padding: 0 0 0 0;
}
li li li li {
  list-style-type: disc;
  background: transparent;
  padding: 0 0 0 0;
}

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

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: 3.5em;
  margin: 0;
  font-size: 80%;
  font-weight: bold;
  padding-left: 1em;
  padding-right: 0;
  padding-top: 0.3em;
  padding-bottom: 0;
  color: #003366;
  background-color: #95ABD0;
}

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


div.cover {
  margin: 0;
  padding: 0;
  background-color: #90A7D0;
  overflow: hidden;
  width: 100%;
  height: 100%;
}

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

div.slide.cover h1
{
  margin-bottom: 0;
  background-color: #005A9C;
}

div.slide.cover img.cover
{
  margin-top: 5em;
  float: right;
  width: 60%;
}

div.slide h1 a:link {color: white}
div.slide h1 a:visited {color: white}
div.slide h1 a:active {
  color: red;
  text-decoration: underline;
}
div.slide h1 a:hover {
  color: yellow;
  text-decoration: underline;
}

div.slide h1 a { text-decoration: none }

div.slide.cover h2 {
  clear: both;
  color: white;
  padding-top: 4em;
}

div.cover div.header p
{
  clear: both;
  margin-top: 0.5em;
  margin-left: 1.5em;
  margin-bottom: 0;
}


div.header p.explanation {
  font-style: italic;
}

div.slide.cover a {
  color: white;
}

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

div.comment { display: block; visibility: visible } 

/*
 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.bmp) no-repeat 0px 0.5em;
}
ol.outline li.unfolded {
  padding: 0 0 0 20px;
  background: transparent url(fold-dim.bmp) no-repeat 0px 0.5em;
}
ol.outline li.folded {
  padding: 0 0 0 20px;
  background: transparent url(unfold-dim.bmp) no-repeat 0px 0.5em;
}
ol.outline li.unfolded:hover {
  padding: 0 0 0 20px;
  background: transparent url(fold.bmp) no-repeat 0px 0.5em;
}
ol.outline li.folded:hover {
  padding: 0 0 0 20px;
  background: transparent url(unfold.bmp) no-repeat 0px 0.5em;
}

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

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


/*  Some extra style definitions:
*/
div.theorem {
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 2em;
 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;
}

.important { color:#990000; }

TABLE.compact { border-collapse:separate;
 empty-cells: show;
 font-size: 1em;
 background:#999;}
TABLE.compact  TD {background-color:#EEE;
     text-align: left;padding:0em;}

object { display:none; }
embed, applet { display:none; }
img.print { display:block; }
p.print { display:block; }
/*  Some math style definitions: 
*/
p.math {font-family:roman;
 padding-top: 0.2em;
 padding-bottom: 0.2em;
 padding-left: 2em;
 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;
}
code.math {font-family:roman;background:transparent; white-space: nowrap;} 
.alltt .underline{ text-decoration:none; color:green; }
span.squareroot { padding-top:2px; border-top:1px solid #000; }
span.overbar { text-decoration:overline; }
sup.dotted { margin-left: -0.6em; position:relative; bottom:0.3em;font-size:1em; }
span.inlinedot { background:transparent;}
sup.vecarrow { margin-left: -1.2em; position:relative; bottom:0.3em; font-size:0.75em;}
var.inlinevec { font-style:normal;margin-left: -0.25em;background:transparent;}
kbd.doubledotted { font-style:normal;margin-left: -0.3em; position:relative; font-size:1.5em; bottom:0.2em;}
em.overtilde { font-style:normal;margin-left: -0.55em; position:relative; font-size:1.3em;}
var.inlinetilde { font-style:normal;background:transparent;}
span.overhat { margin-left: -0.4em; position:relative; font-size:1.3em;}
var.inlinehat { font-style:normal;background:transparent;}
div.shaded { background:#xaad;}
/* For Fractions:
*/
.lin { display: none; }
.den, .nom { display: block;  width:100%; text-align:center;line-height:0.95; }
.nom { text-decoration: underline; }