/* w3c-blue.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
*/
// the 2 slashes are needed for the slanty image to be visible ??!!??

  body {
    position: relative;
    overflow: hidden;
  }

  div.slide {
    margin: 0;
    padding: 0;
    border-width: 0;
  }

  div.slide h1, div.slide h2 {
	padding-left: 0.5em;
	padding-right: 0;
	padding-top: 0.1em;
	margin-bottom: 0.8em;
	margin-top: -0.05px;
	margin-left: 2.5em;
	margin-right: 8em;
	color: #00008B;
	height: 2.2em;
	line-height: 1.1em;
	background: #E1E9FF;
}

  div.slide h1 a, div.slide h2 a {
     color: white;
  }

  div.slide h1 a:hover, div.slide h2 a:hover {
     color: blue;
  }

  #head-icon {
	margin-top: 0;
	margin-bottom: 0;
	margin-left: 0;
	margin-right: 1em;
	background: #E1E9FF;
	border-width: 0;
	z-index: 2;
	float: left;
}

  #head-logo {
     margin: 0.1em 1em 0 0;
     padding: 0 0 0 4em;
     float: right;
     z-index: 2;
/*     background: #90A7D0;*/
	background: #E1E9FF;
  }
  #head-logo-fallback {
     margin: 0;
     padding: 0;
     margin-top: -0.5em;
     height: 4em;
     float: right;
     z-index: 2;
  }

  div.background {
     z-index: 1;
     position: absolute;
     vertical-align: bottom;
     left: 0;
     right: 0;
     top: 0;
     bottom: auto;
     height: 4em;
     padding: 0 0 0 0.2em;
     margin: 0 0 0 0;
     border-width: 0;
     /*background-color: #90A7D0;*/
	  background-color: #FFF;
  }

  div.background img {
     height: 4em;
  }

  div.background.slanty {
     z-index: 2;
     bottom: 0; 
     height: 100%;
     background: transparent;
  }

  div.background.slanty img { margin-top: 4em; width: 100%; height: 80% }

  /* 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: 95%;  /* needed for IE filter to work */
     opacity: .8;
     filter: alpha(opacity=80);
  }

  div.slide.cover {
	color: black;
	/*background: #E1E9FF;*/
	padding-top: 0;
	padding-right: 0;
	padding-left: 3em;
	height: 100%;
   background: #E1E9FF url(../img/blue2white.png) left bottom repeat-x;
	}

  div.slide.cover h1 {
    margin: 0;
    padding: 0.5em;
    color: black;
    height: auto;
    background-color: transparent;
  }

  div.slide.cover a {
    color: #00008B;
  }

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

  img.cover {
     margin: 0 auto;
     float: right;
     padding-bottom: 4em;
     width: 50%;
     overflow: hidden;
  }

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


  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(../img/bullet.png) no-repeat 5px 8px;
     line-height: 140%;
  }

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

  div.slide pre { 
     color: purple;
     line-height: 110%;
     margin: 1em;
     padding-bottom: 0em;
     padding-top: 0.5em;
     padding-bottom: 0.5em;
     padding-left: 1em;
     background-color: #dbdcde;
     font-size: 80%;
     border: solid thin black;
  }

 img.withBorder {
     border: 2px solid #c60;
     padding: 4px;
 }
 
 div.header {
 	width: 100%;
	height: 4.5em;
	background-color: #E1E9FF;
 }
 
 div.cover-title {
 	position: absolute;
	bottom: 0;
	padding-bottom: 2em;
 }
 
 table.critica td {
	border: thick dotted #FF8000;
	padding-right: 0.5em;
	padding-left: 0.5em;
}