Codes to Symbols

And small html changes