hoogle_plus icon indicating copy to clipboard operation
hoogle_plus copied to clipboard

Published 20 hours ago • verified publisher icon TyGuS

web todo: styling nitpicks

Open michaelbjames opened this issue 4 years ago • 0 comments

[ ] - Syntax highlighting uses a slightly off-white background color. I see two options to fix this:

  • Download the current styling sheet and modify it. https://highlightjs.org/static/demo/styles/github.css
  • Find a different style with a white bg: https://highlightjs.org/static/demo/ Then edit the index.html file to use that style sheet instead.

michaelbjames avatar Mar 11 '20 04:03 michaelbjames