fix(css/theme/one-mozilla): change selection color to hot pink
fix(css/theme/one-mozilla): increase width for code area
fix(plugin/highlight): import new highlighter