body{font-family:"DejaVu Sans",verdana,sans-serif;font-size:medium;line-height:1.4}
h2{font-size:145%;font-weight:normal;line-height:1}
h3{line-height:1}