Fixed irritating bug with line numbers in code view in firefox