Erik Demaine eaa7f3a17d Fix high contrast mode better, thanks to @GeeLaw (#733)

2017-06-15 19:01:58 -04:00

..

fonts

Update Dockerfile for ttfautohint, update metrics

2015-07-16 12:01:26 -07:00

fonts.less

Specify TrueType font format as 'truetype' rather than 'ttf'

2016-07-25 10:28:34 -07:00

index.html

Add basic auto-render extension

2015-04-01 15:57:10 -07:00

katex.less

Fix high contrast mode better, thanks to @GeeLaw (#733)

2017-06-15 19:01:58 -04:00

main.css

Add permalink button to test page

2014-07-23 20:24:09 -07:00

main.js

Allow macro definitions in settings (#493)

2016-07-08 12:24:31 -07:00