jmockit/jmockit.github.io — pull request #1 by helmbold (2014-09-18 07:41:04+00:00)
Title: Update prettify.css

switching from border-top to border-bottom and the color used for the text body. Looks more pleasant and less disturbing.