body { 
  background-color: #FFFFF9; 
} 
img {
  margin: 1em;
}
p, td, caption, input, li, body, blockquote {
  font-family: Helvetica, sans-serif;
  color: #001100;
  font-size: 11pt
}
input {
  color: #000000
}
code {
  color: #000000
  font-size: 0.9em;
}
caption {
  font-weight: bold
}
.code {
  font-family: Courier new, Courier, monospace;
  color: #000000;
  background-color: #DCDCDC;
  border-width: thin;
  font-size: 0.9em;
}
pre {
  font-size: 0.9em;
}
pre.code2 {
  background-color: rgb(255,255,224);
  color: black;
  border: 2pt solid black;
  padding: 5pt;
  margin-left: 4em;
  margin-right: 4em;
  font-size: 0.9em;
}
.ala {
  font-size: 8pt;
  text-align: right;
  font-style: italic
}
.pistekehys {
  border-width: thin;
  border: dotted;
  border-color: black;
}