/* slides.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
{
  color: black;
  font-family: sans-serif;
  font-size: 14pt;
}

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

blockquote { font-style: italic }

div.footer {
  position: fixed; z-index: 4;
  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 {
  position: absolute; z-index: 2;
  top: 40px; right: 20px; left: auto; bottom: auto;
}

div.slide {
  z-index: 3;
  margin-left: 20px;
  margin-right: 20px;
  line-height: 140%;
}

div.slide h1 {
  padding-left: 15pt; /* 20pt */
  padding-right: 20pt;
  padding-top: 4pt;
  padding-bottom: 4pt;
  margin-top: 0;
  margin-left: 40pt;    /* 20pt */
  margin-right: 60pt;  /* 20pt */
  display: block; 
  font-size: 160%;
  line-height: 100%;
  background:  rgb(240, 240, 256) 
}

pre { color: rgb(0,128,0); font-size: 80%;
 font-weight: bold; line-height: 120%; }

p.copyright { font-size: smaller }

a:visited { color: navy }
a:link { color: blue }
a:hover { color: red }
a:active { color: red }

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; }
li { margin-left: 2em; } /* 0.5em;*/
li li { font-size: 80%; font-style: italic }
li li li { font-size: 80%; font-style: normal }