/* notebook2015sd.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 notebook2015sd.css:
   Modifications with respect to original notebook.css:
     Copyleft (c) 2015 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: 26/09/2015. 

   Modifications with respect to original notebook.css are not indicated in
   detail, because of their numerosity. Most of them are 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: local("Gapstown AH"),   
       url(font/gapstown/Gapstown.ttf) format("truetype");
}

@font-face {
  font-family: "Gapstown AH";
  src: local("Gapstown AH"), 
       url(font/gapstown/Gapst-b.ttf) format("truetype");
  font-weight: bold; 
}

@font-face {
  font-family: "Gapstown Small AH";
  src: local("Gapstown Small AH"), 
       url(font/gapstown/GapsS.ttf) format("truetype");
}

@font-face {
  font-family: "Gapstown Small AH";
  src: local("Gapstown Small AH"), 
       url(font/gapstown/GapsS-b.ttf) format("truetype");
  font-weight: bold; 
}

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

body, html /* (part of a Chrome no-background fix attempt */
{
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  width: 100%;
  height: 100%;
  color: black;
  font-family: "Gapstown AH", "Gapstown Small AH", "Comic Sans MS", sans-serif;
  font-size: 20pt;
/* display: block;
  visibility: visible;
  background: transparent url("icon/small-grid.gif");
*/
  background: url("icon/small-grid.gif");
}

.hidden { display: none; visibility: hidden }

div.toolbar {
  position: fixed; z-index: 200;
  top: auto; bottom: 0; left: 5%; right: 0.9%;
  height: 1.2em; width: 94.1%; text-align: left;
  padding-left: 0.2em;
  padding-right: 0.2em;
  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: 5%; right: auto;
  width: 30%;
  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: 0.9%;
  width: 64.1%;
  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;}

/* GS 20130306: begin included from slidy.css or w3c-blue.css (Slidy2) */

div.slidy_toc {
  position: absolute;
  z-index: 300;
  width: 60%;
  max-width: 30em;
  height: 30em;
  overflow: auto;
  top: auto;
  right: auto;
  left: 4em;
  bottom: 4em;
  padding: 1em;
  background: rgb(240,240,240);
  border-style: solid;
  border-width: 2px;
  font-size: 60%;
}

div.slidy_toc .toc_heading {
  text-align: center;
  width: 100%;
  margin: 0;
  margin-bottom: 1em;
  border-bottom-style: solid;
  border-bottom-color: rgb(180,180,180);
  border-bottom-width: 1px;
}

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

div.slide.titlepage h1 {
  padding-top: 10%;
  margin-right: 0;
}

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

/*
 hide images for work around for save as bug
 where browsers fail to save images used by CSS
*/
img.hidden { display: none; visibility: hidden }
div.initial_prompt { display: none; visibility: hidden }

@media screen {
  .hidden { display: none; visibility: visible }

  div.slide.hidden { display: block; visibility: visible }
/* try this: replace original
  div.handout.hidden { display: block; visibility: visible }
  with: */
  div.handout.hidden { display: none; visibility: hidden}
  div.background { display: none; visibility: hidden }
/* GS 20130207: omitting this:
  body.single_slide div.initial_prompt { display: block; visibility: visible }
*/
  body.single_slide div.background { display: block; visibility: visible }
  body.single_slide div.background.hidden { display: none; visibility: hidden }
  body.single_slide .invisible { visibility: hidden }
  body.single_slide .hidden { display: none; visibility: hidden }
  body.single_slide div.slide { position: absolute }
  body.single_slide div.handout { display: none; visibility: hidden }
}

/* GS 20130306: end included from slidy.css (Slidy2) */

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

div.leftmargin {
  position: fixed; /* absolute; */
  z-index: 23;
  top: 0; left: 0; right: auto; bottom: 0;
  width: 5%;
  padding: 0 0 0 0;
  background: transparent url("icon/binding.gif") top left repeat-y;
  display: block;
  visibility: visible;
}
 
div.header {
  background: transparent; 
  border-width: 0;
}

div.header.left {
  position: fixed;
  top: 2px;
  left: 5%;
  width: 8.5%; 
  height: auto;
/* padding: 0 0 0 2px; */
  padding: 0;
  z-index: 20;
  display: block; 
  visibility: visible;
}

div.slide.cover div.header.left {
  position: absolute;
  top: 2px;
  left: 0;
  width: 8.5%;
  height: auto;
  padding: 0 0 0 5%;
  display: block;
  visibility: visible;
  z-index: 22;
}

div.header.right {
  position: fixed;
  top: 2px;
  right: 0;
  width: 8.5%;
  height: auto;
  padding: 0;
  z-index: 20;
  display: block;
  visibility: visible;
}

div.header a img {
  margin: 0; 
  padding: 0; 
  width: 100%;
}

div.header.left a img { float: left; background-color: white }
div.slide.cover div.header.left a img { background-color: #466F81 }
div.header.right a img { float: right; }
div.header.right a img.logo, div.slide.cover a img { background-color: #466F81 }
div.header.right img.tools { 
  padding-right: 5%; width: 95%; background: transparent; }

div.footer {
  font-size: 60%;
  font-weight: bold;
}

div.footer p {
  background-color: #B0C6D3;
  border-style: solid;
  border-width: 0;
  border-top-width: 0.2em;
  border-color: #000000;
}

div.footer p.left {
  position: fixed;
  z-index: 201;
  left: 5%;
  right: auto;
  bottom: 1.6em;
  top: auto;
  height: 1.4em;
  width: 50%;
  padding: 0.1em;
  margin: 0 0 0 0;
  text-align: left;
  display: block;
  visibility: visible;
}

div.footer p.right {
  position: fixed;
  z-index: 201;
  left: auto;
  right: 0.425%; 
  bottom: 1.6em;
  top: auto;
  height: 1.4em;
  width: 44.575%; 
  padding: 0.1em; 
  margin: 0 0 0 0; 
  text-align: right;
  display: block;
  visibility: visible;
}

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

div.slide {
  z-index: 20;
  border-width: 0;
  margin: 0 0 0 0;
  top: 0;
  bottom: 0;
  left: 8.9%;
  right: 9.4%;
  padding-left: 5%; 
  display: block;
  line-height: 110%;
  color: #000000;
  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 {
  margin: 2px 0 0 0; 
  margin-bottom: 1.5em; 
  padding: 0;
  display: block;
  height: auto;
  text-align: center;
  font-size: 110%;
  line-height: 1.1em;
  color: white;
  background-color: #466F81;
  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%;
}

div.header a img.logo { border-style: solid; }
div.header.left a img.logo { border-width: 2pt; }
div.header.right a img.logo { border-width: thick; }

a:visited { color: navy; border-color: navy }
a:link { color: navy; border-color: navy }
a:hover { color: red; border-color: red; text-decoration: underline }
a:active { color: red; border-color: red; text-decoration: underline }
.toolbar a:link { color: navy }
.toolbar a:visited { color: navy }
.toolbar a:hover { color: red }
.toolbar a:active { color: red }
div.header a:link, div.header a:visited { 
  color: #B0C6D3; border-color: #B0C6D3 } 
div.header a:hover { color: yellow; border-color: yellow }
div.header a:active { color: red; border-color: red }
a {text-decoration: none}

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

p.code { font-family: "ArialMT", "Arial", monotype; font-size: 70%; }

.smaller { font-size: 80%; }

td,th { padding: 0 0.3em }

ul,ol,p,blockquote,table { 
  font-family: "Gapstown AH", "Gapstown Small 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 0 0.7em 0;
  padding: 0 0 0 60px;
  background: transparent url("icon/bullet.gif") no-repeat 0.2em 0.5em;
  line-height: 140%;
}

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

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

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

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

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

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

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

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

/* workaround IE's failure to support background on li for print media */
/* GS 20130306: commented out                                          */
/*   for print isn't made with IE and background icons need be printed */
/* @media print { ul li { list-style: disc; padding-left: 0; background: none; } } */


ol li { 
  margin: 0.1em 0 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 0 0.2em 1em;
  padding: 0 0 0 20px;
  line-height: 120%;
}

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

ol.veryverynarrow li {
  margin: 0 0 0 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 {
  text-align: center;
  top: 0;
  left: 0;
  height: 100%; 
  width: 95%;
  padding-left: 5%;
  font-size: 120%;
  overflow: visible;
  background: transparent;
  background-color: #466F81;
  z-index: 21;
}

div.slide.cover img.cover
{
  position: absolute;
  z-index: 22; 
  top: 0; right: 0;
  margin: 0.425%;
  float: right;
  width: 52%;
  overflow: visible;
  border-style: solid;
  border-width: 2px;
}

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

div.slide.cover h2 {
/*  clear: both; */
  display: block;
  margin: 1em 0 1em 0;
  padding: 0;
  font-size: 70%;
  line-height: 110%;
  font-family: "Gazzarelli", "Gill Sans", GillSans, sans-serif;
  width: 100%; 
  text-align: center;
  color: white;
  background-color: inherit;
}

div.slide.cover h3 {
  font-size: 100%;
  width: 100%;
  margin: 0 0 1em 0;
  padding: 0;
  text-align: center;
  color: white;
  background-color: inherit;
}

div.slide.cover h4 {
  line-height: 110%;
  font-size: 80%;
  width: 100%;
  margin: 0; 
  padding: 0;
  text-align: center;
  color: white;
  background-color: inherit;
}

div.slide.cover div.conformance {
  position: absolute;
  z-index: 0;
  top: 0;
/* left: 84px; */ 
  left: 12%; 
  height: auto;
  width: 35%; 
  bottom: auto;
  right: auto;
  z-index: 20;
  padding: 0;
  color: #FFFFFF;
  border-width: 0;
  background-color: transparent;
  text-align: center;
  overflow: hidden;
}

div.slide.cover div.conformance img {
  border-style: solid;
  border-width: 2pt;
  padding-top: 2px;
  margin: 2px;
  overflow: visible;
}

div.slide.cover img.print { display: none }
 
div.slide.cover p.explanation {
  font-style: italic;
}

div.slide.cover a:link, div.slide.cover a:visited {
  color: white; border-color: white
}
div.slide.cover a:hover { color: yellow; border-color: yellow }
div.slide.cover a:active { color: red; border-color: red }

div.slide.cover div.header a:link, div.slide.cover div.header a:visited {
  color: white; border-color: white
}
div.slide.cover div.header a:hover { color: yellow; border-color: yellow }
div.slide.cover div.header a:active { color: red; border-color: red }

div.slide.cover div.conformance a:link { color: white; border-color: white }
div.slide.cover div.conformance a:visited { color: white; border-color: white }
div.slide.cover div.conformance a:hover { color: yellow; border-color: yellow }
div.slide.cover div.conformance a:active { color: red; border-color: red }

div.handout.toc {
  display: block;
  margin: 0;
  width: 100%;
}

div.handout.toc h1 {
  margin-top: 5em;
  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% }
/* added this from slidy.css (Slidy2): */
/* .hidden { display: block; visibility: visible } */
div.slidy_toc { display: none; visibility: hidden; }
div.slide { page-break-before: always }
/* :first-child isn't reliable for print media */
  div.slide.first-slide { page-break-before: avoid }
/* end add from slidy.css (Slidy2) */
 p, li, a:link, a:visited { color: black; background-color: transparent; }
 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.leftmargin { visibility: hidden; }
 div.header.left { display: none; }
 div.header.right { display: none; }
 div.footer p { background-color: transparent }
 div.footer p.left { left: 0 }
 div.footer p.right { right: 0; width: 50%; }
 div.footer p.right img { margin-left: 0.1em }
 div.slide {
  padding-bottom: 0; page-break-inside: avoid; page-break-before: always
 }
 div.slide h1 {
  /* margin-top: 3em; */
  margin-bottom: 0;
  /* color: black; font-size: 80%; height: 2em; overflow: visible */
  color: black; background-color: transparent; 
  font-size: 80%; height: 1.2em; overflow: visible
 }
 div.slide h2 { color: black; font-size: 70% }
 div.slide h3 { color: black; font-size: 60% }

 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: hidden
 }
 div.slide.cover img { display: none }
 div.slide.cover img.print { display: inline; background-color: transparent; } 
 div.slide.cover h1 { padding-top: 0.5em; font-size: 110%; height: 1.5em }
 div.slide.cover h2 { /* font-family: "ArialMT", "Arial", monotype; */
                      color: black; font-size: 60% }
 div.slide.cover h3 { color: black; font-size: 70% }
 div.slide.cover h4 { color: black; font-size: 60% }
 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 }