/* cometa-gs.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 cometa-gs.css:
   Modifications with respect to original notebook.css:
     Copyleft (c) 2007 Giuseppe Scollo
     University of Catania, Department of Mathematics and Computer Science
     Consorzio COMETA, Italy - http://www.consorzio-cometa.it 

     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: 29/11/2007 

   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 seminar presentations by the author. 
*/

@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: navy;
/*  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%;
}

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

div.header {
  position: absolute;
  z-index: 2;
  left: 45px;
  right: 0.2%;
  top: 0;
  bottom: auto;
  height: 98px;
  width: 97.3%; 
  padding: 0 0 0 0;
  margin: 0 0 0 0; 
  background: url("icon/COMETAocrawood.gif") transparent top left no-repeat; 
  border-width: 0;
}

/* 
div.footer { 
  position: fixed;
  z-index: 2;
  left: 45px;
  right: 0.2%;
  bottom: 1em;
  top: auto;
  height: 40px;
  width: 97.3%; 
  padding: 0 0 0 0;
  margin: 0 0 0 0; 
  background: url("icon/GridODPalermoDates.gif") transparent bottom left no-repeat; 
  border-width: 0;
}

div.background img.covertop {
  float: left;
  padding-bottom: 0.2em;
  margin-left: -0.2em;
  width: 100%; 
  height: 82px;
  z-index: 21;
}

div.background img.right {
  float: right;
  margin-right: 0;
  width: 3.02em; 
  height: 2.36em
  background-color: #E7B020;
  border-width: thin;
  border-color: #E7B020;
  z-index: 21;
}

div.background img.left {
  float: left;
  margin-left: -0.2em;
  width: 2.52em; 
  height: 2.35em;
  background-color: #F7B020;
  border-width: thin;
  border-color: #F7B020;
  z-index: 21;
}
*/

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

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

div.slide.cover div.margin img.covertop {
  float: left;
  padding-bottom: 0.2em;
  margin-left: 0.1em;
  width: 95%; 
  height: 82px;
  z-index: 21;
}

div.slide div.foot {
  position: fixed;
  z-index: 2;
  left: 3em;
  right: auto;
  bottom: 1em;
  top: auto;
  height: 40px;
  width: 95%;
  padding: 0 0.2em 0 0;
  margin: 0 0 0 0;
  background: url("icon/GridODPalermoDates.gif") transparent bottom left no-repeat;
  border-width: 0;
  font-size: 50%;
  font-weight: bold; 
  text-align: right; 
  color: navy; 
}

div.slide.cover div.margin div.foot {
  position: fixed;
  z-index: 1;
  left: 3em;
  right: auto;
  bottom: 1em;
  top: auto;
  height: 93px;
  width: 95%;
  padding: 0 0.2em 0 0;
  margin: 0 0 0 0;
  border-width: 0; 
}

/* 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;
  padding-top: 0.2em;
  padding-bottom: 0.1em;
  margin-top: 0.6em;
  margin-left: 2.0em;
  margin-right: 0;
  margin-bottom: 1.2em;
  display: block;
  text-align: right;
  font-size: 110%;
  line-height: 1.1em;
  color: #000066;
  background-color: transparent; 
  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 { float: right; font-size: 80%; }  
.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: blue }
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: navy}
.navbar a:visited {color: blue}
.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: 1em;
  margin-right: 1em;
}

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 ; 
 color: navy; 
}

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 1.5em 0.5em 1.5em;
  padding: 0;
}

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

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

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

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

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

ol.veryverynarrow li {
  margin: 0em 0em 0em 1.5em;
  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: navy}
div.slide h1 a:visited {color: blue}
div.slide h1 a:active {
  color: red;
  text-decoration: underline;
}
div.slide h1 a:hover {
  color: red;
  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: white;
  overflow: hidden;
  width: 100%;
  height: 100%;
}

div.slide.cover img.covertop {
  position: absolute;
  top: -0.1em; left: 41px;
  margin: 0.1em;
  float: left;
  width: 92.2%; 
  overflow: visible;
}

div.slide.cover img.coverbot {
  position: absolute;
  bottom: 0.5em; left: -0.4em;
  margin: 0.1em;
  float: left;
  width: 100%;
  overflow: visible;
}

div.slide.cover h1 {
  clear: both;
  display: block;
  margin: 0 0 0 0;
  padding: 5.8em 0.5em 0.5em 0.5em;
  font-size: 120%;
  width: 100%;
  text-align: center;
  height: auto;
  background: transparent;
}

div.slide.cover h2 {
  font-size: 90%;
  font-style: italic;
  width: 100%;
  padding-left: 8em;
  text-align: left;
  color: navy;
  background: transparent;
}

div.slide.cover h2 a:visited { color: navy } 

/* 
div.slide.cover h3 {
  line-height: 150%;
  font-size: 70%;
  font-family: "Gazzarelli", "Gill Sans", GillSans, sans-serif;
  width: 100%;
  padding-left: 6.8em; 
  text-align: left;
  color: navy;
  background: transparent;
}
*/

div.slide.cover p {
  line-height: 100%;
  font-size: 100%;
  font-weight: bold; 
  width: 100%;
  padding-left: 4.5em; 
  text-align: left;
  color: navy;
  background: transparent;
}

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

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

div.slide.cover p.explanation {
  font-style: italic;
}

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

div.slide.cover a:visited { color: blue; }

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

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

div.handout.toc h1 { color: navy; font-size: 110%;
  height: 4.0em; width: 82%; overflow: visible;
  background: url("icon/basics0.7/COMETAocrawood.gif")
              transparent top left no-repeat;
  margin: 1.0em 0.2em -1em 0em;
  text-align: right;
  padding: 0.8em 0.2em 0em 2.0em; 
}

/* 
div.handout.toc h1 {
  margin-top: 1.5em;
  padding-top: 1.5em;
  text-align: center;
  font-size: smaller;
  color: navy;
  background-color: transparent; 
}
*/ 

/* plain style for printing */

@media print {
 div.background div.margin div.header {display: block; visibility: visible}  
/*
 div.background div.margin div.footer {display: block; visibility: visible}
*/
 pre { font-size: 50% }
 p, li, a:link, a:visited { color: navy }
 a:hover, a:active { color: red; text-decoration: underline }
 li { margin-left: 0.1em; padding: 0 0 0 60px; }
 ul li { margin-left: 0.1em; padding: 0 0 0 60px; }
 ol li { margin-left: 0.1em; padding: 0 0 0 60px; }
 ul.narrow li { margin-left: 0.1em; padding: 0 0 0 60px; }
 ul.verynarrow li { margin-left: 0.1em; padding: 0 0 0 60px; }
 ol.narrow li { margin-left: 0.1em; padding: 0 0 0 60px; }
 ol.verynarrow li { margin-left: 0.1em; padding: 0 0 0 60px; }
 div.slide {
  margin-top: 0; margin-left: -45px; 
  padding-bottom: 0; 
  width: 100%; 
  page-break-inside: avoid; 
  page-break-before: always;
  overflow: visible
 }
 div.slide h1 { 
  color: navy; font-size: 110%; 
  height: 4.0em; width: 82%; overflow: visible;  
  background: url("icon/basics0.7/COMETAocrawood.gif") 
              transparent top left no-repeat; 
  text-align: right;
  margin: 1.0em 0.2em -1.5em 0em; 
  padding: 0.8em 0.2em 0em 2.0em; 
 }
 div.slide h2 { color: navy; font-size: 70%; }
 div.slide h3 { color: navy; font-size: 60% }
 div.slide div.foot { 
  display: block;
  position: static; 
  overflow: visible;
  height: 40px;
  width: 90%;
  padding: 0 0.5em 0 0;
  margin: 0 0 0 0;
  background: url("icon/basics0.7/GridODPalermoDates.gif") transparent bottom left no-repeat;
  font-size: 50%;
  font-weight: bold;
  text-align: right;
  color: navy;
}
 div.slide div.foot .footnote { 
  float: right; 
  padding: 1.5em 0.5em 0 0;
  position: static;
  height: 40px; 
  width: 10%;
  margin: 0 0 0 0;
  border-width: 0;
  font-size: 90%;
  font-weight: bold;
  text-align: right;
  color: navy;
 } 
 div.handout { margin-top: 2.5em; padding-bottom: 0 }
 div.handout.toc { page-break-before: always; }
 div.slide.cover {
  background-color: transparent;
  padding-bottom: 0;
  page-break-before: avoid;
  overflow: visible
 }
 div.slide.cover div.margin div.foot { 
  position: absolute; 
  left: 3.25em;
  right: auto;
  bottom: -0.6em;
  top: auto;
  height: 93px;
  width: 93.3%;
  padding: 0 0.2em 0 0;
  margin: 0 0 0 0;
  border-width: 0;
 }
 div.slide.cover div.margin img.covertop { margin-left: 0.26em }
 div.slide.cover div.margin div.foot img.coverbot { margin-left: 1.2em }
 div.slide.cover div.foot { 
  position: static; background: transparent; 
  margin-left: 0.2em; margin-bottom: -0.2em; } 
 div.slide.cover div.foot .footnote { display: none } 
 div.slide.cover img.cover { display: none }
 div.slide.cover img.conformance { display: none }
 div.slide.cover h1 { padding-top: 6.5em; font-size: 110%; 
                      height: 3em; background-color: transparent; } 
 div.slide.cover h2 { padding-top: 1em; padding-bottom: 1.5em; font-size: 90%;}
 div.slide.cover h3 { font-size: 80% }
 div.slide.cover p { display: block; overflow: visible }
 div.slide.cover a:link, div.slide.cover a:visited { color: navy }
 div.slide.cover a:hover, div.slide.cover a:active {
    color: red; 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 }