/*
 * Foglio di stile
 */

body {
  margin: 0;
  padding: 0;
  font-family: Helvetica, Ariel, Verdana, Sans-serif;
  font-size: 130%;
}

h1 {
  margin-left: 83px;
  font-size: 130%;
  text-align: center;
  color: blue;
}

#indice {
  text-align: center;
}

#indice h1 {
  margin-left: 0;
}

#indice ol {
  display: inline-block;
  text-align: left;
}

#indice ol li {
  cursor: pointer;
}

.slide {
  position: absolute;
  top: 0;
  right: 0;
  left: 0;
  bottom:0
}

.slideContent {
  position: absolute;
  top: 60px;
  left: 10px;
  right: 10px;
  bottom: 10px;
  overflow: auto;
}

.navigazione {
  float: right;
  margin-right: 5px;
  margin-top: 5px;
  padding: 5px;
  background-color: #ffffcc;
}

.navigazione img {
  width: 20px;
  height: 20px;
  margin: 3px;
}

.navbutton {
  cursor: pointer;
}

.mediumlist {
  /* font-size: 100%; */
}

dt, .src, .source, .source_include {
  font-family: courier, monospace;
  font-weight: bold;
  color: #600000;
}

.source, .source_include {
  display: block;
  font-size: 12pt;
  line-height: 15pt;
  white-space: pre;
}