body { font-family: Helvetica; font-size: 80%; background-color: #eeeeee }
font.foot { font-size: 60%; font-family: Arial }
font.lastUpdateTimestamp { font-size: 60%; font-family: Arial; font-style: italic }
font.title { font-style: italic}