/* for takahashi slides with Slidy */
body {
  display: table;
  background-color: black;
  color: white;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  border-width: 0;
}

.hidden { display: none; visibility: hidden }

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

div.background {
  display: none;
}

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

div.slide {
  z-index: 20;
  margin: 0 0 0 0;
  padding: 0 0 0 0;
  padding-top: 30%;
  border-width: 0;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  line-height: 120%;
  font-family: "Arial Black", sans-serif;
  overflow: visible;
  font-size: 500%;
  text-align: center;
  overflow: hidden;
}

div.slide.bigger { font-size: 350% }
div.slide.smaller { font-size: 200% }
div.slide.slightly.smaller { font-size: 300% }
div.slide.much.smaller { font-size: 100% }
div.slide.one { padding-top: 30% }
div.slide.two { padding-top: 25% }
div.slide.three { padding-top: 20% }
div.slide.four { padding-top: 10% }

div.slide.image {
 padding-top: 6%;
}

div.slidy.image img {
 height: 100%;
 width: 50%;
}

pre {
 font-weight: bold;
 line-height: 120%;
 font-size: 40%;
 background-color: black;
 color: white;
 border: none;
 text-align: left;
 white-space: pre;
 margin: 0;
 padding: 0;
 margin-top: -20%;
 margin-left: 5%;
 margin-right: 2%;
}


pre.smaller { font-size: 25%; margin-top: -25% }
pre.slightly.smaller { font-size: 30%; margin-top: -20% }
.red { color: red }
.yellow { color: yellow }
.blue { color: blue }
.green { color: green }