Open jayelm opened 9 years ago
So
<select id="hl-style">
<option value="default">Default</option>
<option value="github">GitHub</option>
<option value="dark">Dark</option>
<option value="solarized_light">Solarized Light</option>
<option value="solarized_dark">Solarized Dark</option>
<option value="monokai">Monokai</option>
<option value="tomorrow">Tomorrow</option>
<option value="tomorrow-night">Tomorrow Night</option>
</select>
are these our options, then? So should we just delete the other files? It's a lot of space...
@tchen01
I started doing this, but one issue is what styles we want to keep and remove.
If we keep more than one it makes sense to kick-start some kind of settings background page where we can modify these variables.
Some styles from the highlightjs collection we should consider:
It should also be possible to supply your own .css style file if you want a custom style not provided by our preselected styles, this should be done in the background page, #8 .
Non-necessary styling in the main CSS file should be moved to the stylesheet for the default style.