evazion a11dbb9186 jquery-ui: fix fonts in dialog boxes (#3671). ...

Fix the default jquery-ui theme overriding our body font with Arial.

2018-04-26 23:13:21 -05:00

..

common

jquery-ui: fix fonts in dialog boxes (#3671).

2018-04-26 23:13:21 -05:00

specific

include top tagger info in post tooltip, add box shadow css

2018-04-26 15:56:42 -07:00

application.scss

upgrade jquery-ui to 1.12, move to cdn

2018-04-26 14:49:33 -07:00

forum_post_votes_controller.scss

Implement forum topic voting and tag change pruning (#3580)

2018-04-26 15:31:06 -07:00