body
{
  padding-top: 15mm;
}

#head
{
  margin-top: -15mm;
  float: right;
}

#menu
{
  display: none;
}

#foot
{
  margin-top: 5mm;
  font-family: arial, sans-serif;
  font-size: small;
}

.frontpage .illustrated img, .article img.fig, .article .fig img
{
  float: right;
  margin: 0 0 .75em .75m;
}