pre { background-color: #b0b0b0; }
tt { background-color: #e0e0e0; }
