/* Moved to styles/css/theme-(white|dark)/_prettify_colors.css */