/* dig-slideshow.css

   Modified W3C's slideshow.css to have DIG colors

   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;
  background: #fff url("http://dig.csail.mit.edu/~lkagal/ai-web/images/bg-grad.gif") top left repeat-x;
  font-family: sans-serif;
  font-size: 14pt;
}

#content {
	margin: 3em 0 0 13%;
}

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 {
  position: absolute; z-index: 2;
  left: 0; right: 0; top: 0; bottom: 0;
}

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: 3;
  margin: 0 0 0 0;
  padding-top: 2em;
  padding-bottom: 0;
  padding-left: 50px;
  padding-right: 50px;
  border-width: 0;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  line-height: 120%;
}

div.slide h1 {
  padding-left: 40pt;
  padding-right: 20pt;
  padding-top: 1pt;
  padding-bottom: 4pt;
  margin-top: 0;
  margin-left: 0;
  margin-right: 30pt;
  margin-bottom: 0.5em;
  display: block; 
  font-size: 160%;
  /* font: 1em "Lucida Sans Unicode", Verdana, Arial, Helvetica, sans-serif; */
  /* font: 1.75em;     eh? */
  color: navy;
  line-height: 1.2em;
  background: transparent;
  text-align:center;
}

li pre { margin-left: 0; }

@media print { pre { font-size: 60% } }

pre { 
 font-size: 100%;
 color:#CA6202;
 font-weight: bold; line-height: 110%; }

blockquote { font-style: italic }

img { background-color: transparent }

p.copyright { font-size: smaller }

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

a:visited { color: navy }

/*a:hover { color: red; text-decoration: underline } */

/* Remove difference between visted links */
a:active { color: #CA6202;  } /* text-decoration: bold; */
a:link { color: #CA6202;  }
a:visited { color: #CA6202; text-decoration: none; }

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

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

.smaller { font-size: 80%; }

table tr td, th { padding: 0.2em 1em 0.2em 1em;  border: 1px #CA6202 }

table.dense tr td, th { padding: 1em 0.2em 1em 0.2em;  border: 1px #CA6202 }

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(http://dig.csail.mit.edu/~lkagal/ai-web/images/white-bullet.png) no-repeat 5px 8px;
  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 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 #CA6202;
  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;
}

#w3c-logo {
     margin: 0;
     margin-top: 0.3em;
     margin-right: 0.75em;
     padding-top: 0;
     padding-bottom: 0;
     padding-left: 0;
     padding-right: 0;
     height: 2em;
     width: 4.1em;
     float: right;
     z-index: 3;
     background: #90A7D0;
}

#w3c-logo-fallback {
     margin: 0;
     margin-top: -0.5em;
     margin-right: 0.75em;
     padding-top: 0;
     padding-bottom: 0;
     padding-left: 0;
     padding-right: 0;
     height: 3em;
     width: 4.1em;
     float: right;
     z-index: 3;
     background: #90A7D0;
}

div.cover {
  margin: 0;
  padding: 0;
  background-color: black;
  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
{
  float: left;
  margin-bottom: 0;
  background-color: #005A9C;
/*  background-color: #00428C; */
}

div.slide h1 a:link {color: #CA6202}
div.slide h1 a:visited {color: #CA6202}
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.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.cover img
{
  width: 100%;
  margin: 0;
  padding: 0;
}

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

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

/* for Bert as an ardent user of the old W3C slidemaker tool */
div.comment { display: none; visibility: hidden }

@media print { div.comment { display: block; visibility: visible } }