change pre css to support firefox;