.global { background: #fffacd;  font-family: Verdana, Helvetica, Arial; font-size: smaller }
.warning { color: #ee0000 }
.caption { font: italic }