/* notebook2009fdi.css

Based upon: w3c-ac.css, notebook.css, original available at:

   http://www.w3.org/2006/02/woa/notebook.css 

The following applies to original notebook.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 following applies to the present notebook2009fdi.css:
   Modifications with respect to original notebook.css:
     Copyleft (c) 2009 Giuseppe Scollo
     University of Catania, Department of Mathematics and Computer Science
     Viale A. Doria 6, I-95125 Catania, Italy

     The aforementioned W3C liability, trademark, document use and
     software licensing rules apply, in particular:

     W3C Software Short Notice:
     Copyright © 2007 World Wide Web Consortium, (Massachusetts Institute of
     Technology, European Research Consortium for Informatics and Mathematics,
     Keio University). All Rights Reserved. This work is distributed under
     the W3C® Software License [1] in the hope that it will be useful, but
     WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
     or FITNESS FOR A PARTICULAR PURPOSE.
     [1] http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231

   Changes in progress, last changed: 09/10/2009 

   Modifications with respect to original notebook.css are not indicated in
   detail, because of their numerosity. Most of them are of ad-hoc designed,
   to be put into use for lecture presentations by the author at his home
   university.
*/

@font-face {
  font-family: "Gapstown AH";
  src: url(font/gapstown) format("truetype")
}

@font-face {
  font-family: Gazzarelli;
  src: url(font/gazzarelli) format("truetype")
}

body
{
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  width: 100%;
  height: 100%;
  color: black;
  background: url("icon/small-grid.gif");
  font-family: "Gill Sans MT", "Gill Sans", GillSans, sans-serif;
  font-size: 20pt;
}

.hidden { display: none; visibility: hidden }

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

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

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

div.toolbar a { vertical-align: top;}

div.background {
  display: none;
  overflow: hidden;
}

div.margin {
  position: absolute;
  width: 100%;
  height: 100%;
  background: url("icon/binding.gif") transparent top left repeat-y;
}

div.background img.tools {
  position: absolute;
  width: 80px;
  height: 128px;
  right: 0;
  top: 3.1em;
  z-index: 21;
}

div.header {
  position: absolute;
  z-index: 2;
  left: 5%;
  right: 0.9%;
  top: 0;
  bottom: auto;
  height: 3em;
  width: 94.1%; /* 92.9%; */
  padding: 0 0 0 0;
  margin: 0 0 0 0; /* 0 0 2.4em 0; */
  border-style: solid;
  background-color: #3F8328;
  border-width: thick;
  border-top-width: 0;
  border-color: #C9E8BE;
}

div.background img.left {
  float: left;
  padding-bottom: 0.1em;
  margin-left: -0.1em;
  width: 2.9em; /* 8%; */
  height: 3.0em;
  background-color: #C9E8BE;
  border-width: thick;
  border-color: #C9E8BE;
  z-index: 21;
}

div.background img.right {
  float: right;
  padding-bottom: 0.1em;
  margin-right: -0.2em;
  width: 3.6em; /* 10%; */
  height: 3.0em;
  background-color: #C9E8BE;
  border-width: thick;
  border-color: #C9E8BE;
  z-index: 21;
}

div.handout {
  margin-left: 30px; /* 60px; */
  margin-right: 30px; /* 60px; */
}

div.slide {
  z-index: 20;
  margin: 0 0 0 0;
  padding-top: 0;
  padding-bottom: 0;
  padding-left: 64px;
  padding-right: 35px;
  border-width: 0;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  line-height: 110%;
  color: #6d6f69; /* #8d7556; */
  background: 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: 0;
  padding-right: 0.1em;
  padding-top: 0.2em;
  padding-bottom: 0.1em;
  margin-top: 0.1em;
  margin-left: 3.4em;
  margin-right: 2.7em;
  margin-bottom: 1.5em;
  display: block;
  font-size: 110%;
  line-height: 1.1em;
  color: white;
  background-color: #3F8328;
  overflow: visible
}

div.slide p.figure {
  clear: both;
  display: block;
  font-size: 70%;
  text-align: center;
  line-height: 120%;
  margin: 0;
  padding: 0;
  overflow: auto;
}

div.slide p.caption {
  clear: both;
  display: block;
  font-size: 70%;
  text-align: center;
  line-height: 120%;
  margin: 0;
  padding: 0 0 1em 0;
  overflow: auto;
}

div.slide p img.figure { height: 90%; }

pre {
 color: rgb(0,128,0);
 font-size: 60%;
 font-weight: bold; line-height: 110%;
 margin-left: 64px;
 margin-right: 75px;
 padding: 0.4em 0.1em;
 border-style: solid;
 border-left-width: 0;
 border-top-width: thin;
 border-right-width: 0;
 border-bottom-width: thin;
 border-color: #6d6f69;
 color: #6d6f69; /*#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; }
.extract
{
  margin-left: 15%;
  margin-top: 15%;
  margin-right: 20%;
  font-size: 100%;
  line-height: 110%;
}

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


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

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

.smaller { font-size: 80%; }

td,th { padding: 0 0.3em }

/* ul,ol,p { font-family: "TSCu_Comic", "Comic Sans MS", sans-serif } */
ul,ol,p,blockquote,table { 
 font-family: "Gapstown AH", "Comic Sans MS", sans-serif ; }

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 }

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

ul.narrow {
  margin: 0.2em 1.5em 0 1.5em;
  padding: 0;
}

ul.verynarrow {
  margin: 0.1em 1.5em 0 1.5em;
  padding: 0;
}

ul.veryverynarrow {
  margin: 0 1.5em 0 1.5em;
  padding: 0;
}

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

ol.zerostart { counter-reset: item -1 } 

ol.onestart { counter-reset: item 0 } 

ol.threestart { counter-reset: item 2 } 

ol.fivestart { counter-reset: item 4 } 

ol.thirteenstart { counter-reset: item 12 } 

ol.twentyfivestart { counter-reset: item 24 } 

ol.narrow {
  margin: 0.2em 1em 0 1em;
  padding: 0;
}

ol.verynarrow {
  margin: 0.1em 1em 0 1em;
  padding: 0;
}

ol.veryverynarrow {
  margin: 0 1em 0 1em;
  padding: 0;
}

ul li { 
  list-style: none;
  margin: 0.1em 0em 0.7em 0;
  padding: 0 0 0 60px;
  background: url("icon/bullet.gif") transparent no-repeat 0.2em 0.5em;
  line-height: 140%;
}

ul.verifex li { 
  list-style: none;
  margin: 0.1em 0em 0.7em 0;
  padding: 0 0 0 60px;
  background: url("icon/verifex.gif") transparent no-repeat 0.2em 0.5em;
  line-height: 140%;
}

ul.deepex li { 
  list-style: none;
  margin: 0.1em 0em 0.7em 0;
  padding: 0 0 0 60px;
  background: url("icon/deepex.gif") transparent no-repeat 0.2em 0.5em;
  line-height: 140%;
}

ul.normex li { 
  list-style: none;
  margin: 0.1em 0em 0.7em 0;
  padding: 0 0 0 60px;
  background: url("icon/normex.gif") transparent no-repeat 0.2em 0.5em;
  line-height: 140%;
}

ul.subjex li { 
  list-style: none;
  margin: 0.1em 0em 0.7em 0;
  padding: 0 0 0 60px;
  background: url("icon/subjex.gif") transparent no-repeat 0.2em 0.5em;
  line-height: 140%;
}

ul.diffex li { 
  list-style: none;
  margin: 0.1em 0em 0.7em 0;
  padding: 0 0 0 60px;
  background: url("icon/diffex.gif") transparent no-repeat 0.2em 0.5em;
  line-height: 140%;
}

ul.narrow li { 
  list-style: none;
  margin: 0.1em 0em 0.2em 0;
  padding: 0 0 0 60px;
  background: url("icon/bullet.gif") transparent no-repeat 0.2em 0.3em;
  line-height: 120%;
}

ul.verynarrow li { 
  list-style: none;
  margin: 0.1em 0em 0.1em 0;
  padding: 0 0 0 60px;
  background: url("icon/bullet.gif") transparent no-repeat 0.2em 0.2em;
  line-height: 120%;
}

ul.veryverynarrow li { 
  list-style: none;
  margin: 0;
  padding: 0 0 0 60px;
  background: url("icon/bullet.gif") transparent no-repeat 0.2em 0.2em;
  line-height: 110%;
}

/* 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.7em 1em;
  padding: 0 0 0 20px;
  line-height: 140%;
}

ol.zerostart li { display: block }

ol.zerostart li:before { 
  content: counters(item, ".") "."; 
  counter-increment: item 
}

ol.zerostart li ul li:before { 
  content: ""; 
  counter-increment: item 0 
}

ol.onestart li { display: block }

ol.onestart li:before { 
  content: counters(item, ".") "."; 
  counter-increment: item 
}

ol.onestart li ul li:before { 
  content: ""; 
  counter-increment: item 0 
}

ol.threestart li { display: block }

ol.threestart li:before { 
  content: counters(item, ".") "."; 
  counter-increment: item 
}

ol.threestart li ul li:before { 
  content: ""; 
  counter-increment: item 0 
}

ol.fivestart li { display: block }

ol.fivestart li:before { 
  content: counters(item, ".") "."; 
  counter-increment: item 
}

ol.fivestart li ul li:before { 
  content: ""; 
  counter-increment: item 0 
}

ol.thirteenstart li { display: block }

ol.thirteenstart li:before { 
  content: counters(item, ".") "."; 
  counter-increment: item 
}

ol.thirteenstart li ul li:before { 
  content: ""; 
  counter-increment: item 0 
}

ol.twentyfivestart li { display: block }

ol.twentyfivestart li:before { 
  content: counters(item, ".") "."; 
  counter-increment: item 
}

ol.twentyfivestart li ul li:before { 
  content: ""; 
  counter-increment: item 0 
}

ol.narrow li {
  margin: 0.1em 0em 0.2em 1em;
  padding: 0 0 0 20px;
  line-height: 120%;
}

ol.verynarrow li {
  margin: 0.1em 0em 0.1em 1em;
  padding: 0 0 0 20px;
  line-height: 120%;
}

ol.veryverynarrow li {
  margin: 0em 0em 0em 1em;
  padding: 0 0 0 20px;
  line-height: 110%;
}

li li { 
  font-size: 85%; 
  font-style: italic;
  list-style-type: disc;
  line-height: 110%;
  background: transparent;
  padding: 0 0 0 0;
}
li li li { 
  font-size: 95%; 
  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.slide, div.background { font-size: 120% } 

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 {
  display: block;
  text-align: center;
  font-size: 120%;
  margin: 0;
  padding: 0;
  background-color: #3F8328;
  overflow: hidden;
  width: 100%;
  height: 100%;
}

div.slide.cover img.cover
{
  position: absolute;
  top: 0; right: 0;
  margin: 0.1em;
  float: right;
  width: 65%;
  overflow: visible;
}

div.slide.cover h1 {
  clear: both;
  display: block;
  margin: 3em 0 0 0;
  padding: 0.5em;
  font-size: 130%;
  width: 100%;
  text-align: center;
  height: auto;
  background-color: #3F8328;
}

div.slide.cover h2 {
  line-height: 150%;
  font-family: "Gazzarelli", "Gill Sans", GillSans, sans-serif;
  font-size: 90%;
  width: 100%;
  text-align: center;
  color: white;
  background: transparent;
}

div.slide.cover h3 {
  font-size: 110%;
  width: 100%;
  text-align: center;
  color: white;
  background: transparent;
}

div.slide.cover p {
  line-height: 100%;
  font-size: 90%;
  width: 100%;
  text-align: center;
  color: white;
  background: transparent;
}

div.slide.cover div.conformance {
  position: absolute;
  z-index: 0;
  top: 0;
  bottom: auto;
  height: auto;
  left: 0;
  width: auto;
  right: auto;
  z-index: 20;
  padding: 0;
  color: #FFFFFF;
  border-width: 0;
  background-color: #3F8328;
  overflow: hidden;
}

div.slide.cover div.conformance img.conformance
{
  border: 0;
  float: left;
  padding-top: 0.1em;
  margin: 0.1em;
  overflow: hidden;
}

div.slide.cover 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.handout.toc {
  display: block;
  margin: 0;
  width: 100%;
}

div.handout.toc h1 {
  margin-top: 0;
  padding-top: 0.5em;
  text-align: center;
  font-size: smaller;
  color: black;
  background-color: transparent;
}

/* plain style for printing */

@media print {
 pre { font-size: 50% }
 p, li, a:link, a:visited { color: black }
 a:hover, a:active { color: black; text-decoration: underline }
 li { margin-left: 0.1em; padding: 0 0 0 45px; }
 ul li { margin-left: 0.1em; padding: 0 0 0 45px; }
 ol li { margin-left: 0.1em; padding: 0 0 0 45px; }
 ul.narrow li { margin-left: 0.1em; padding: 0 0 0 45px; }
 ul.verynarrow li { margin-left: 0.1em; padding: 0 0 0 45px; }
 ol.narrow li { margin-left: 0.1em; padding: 0 0 0 45px; }
 ol.verynarrow li { margin-left: 0.1em; padding: 0 0 0 45px; }
 div.slide {
  padding-bottom: 0; page-break-inside: avoid; page-break-before: always
 }
 div.slide h1 { color: black; font-size: 80%; height: 2em; overflow: visible } 
 div.slide h2 { color: black; font-size: 60% }
 div.slide h3 { color: black; font-size: 50% }
 div.slide img.noprint { display: none }
 div.slide img.resize { width: 75% }
 div.handout { margin-top: 2em; padding-bottom: 0 }
 div.handout.toc { page-break-before: always; background: none }
 div.handout.toc ol.narrow li { margin-left: 0.6em; padding: 0 0 0 45px; }
 div.slide.cover {
  background-color: transparent;
  padding-bottom: 0;
  page-break-before: avoid;
  overflow: visible
 }
 div.slide.cover img.cover { display: none }
 div.slide.cover img.conformance { display: none }
 div.slide.cover h1 { padding-top: 0.5em; font-size: 110%; height: 3em }
 div.slide.cover h2 { color: black; font-size: 80% }
 div.slide.cover h3 { color: black; font-size: 70% }
 div.slide.cover p { color: black; display: block; overflow: visible }
 div.slide.cover a:link, div.slide.cover a:visited { color: black }
 div.slide.cover a:hover, div.slide.cover a:active {
    color: black; text-decoration: underline
 }
 div.lefttoolbar, div.righttoolbar { display: none; visibility: hidden } 
}

/* 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 } }

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

/* rotating red+blue V-shaped bullet + unfold/nofold/fold widget */

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

/* for slides with class "title" in table of contents */
a.titleslide { font-weight: bold; font-style: italic }