Added tt back to stylesheet, just in case we forget any <tt> tags