pre { margin-left: 20px; padding-left: 10px; padding-right: 10px; background-color: #DDD; }
tt { padding-left: 5px; padding-right: 5px; font-size: 11pt;  background-color: #EEE; }
red { color: #f00; }