Dark theme
Styled line numbering and comments
Dark theme styling
Styling
Diff fix
Merge branch 'master' into change-theme

Conflicts:
	static/assets/js/codebrowser-min.js