html {               /* stupid IE frame scrollbar bug */
   overflow-x: hidden;
   overflow-y: auto;
} 
body {
}
.heading {
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
}
.header {
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
  font-weight: bold;
  margin-top: 1em;
  margin-bottom: 1em;
}
.step {
  font-weight: bold;
}
.footer { 
  font-size: small;
}
.nb { 
  font-style: italic;
}
.search { 
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
}
.tiny { 
  font-size: x-small;
}
input {
  font-family: "Trebuchet MS", Arial, Helvetica, sans-serif;
  font-size: small;
}
form {
  margin-top: 4px;
  margin-bottom: 4px;
}