kevinsawicki/monokai — pull request #1 by james2doyle (2014-02-27 18:57:36+00:00)
Title: add pretty scroll bars

Style the ugly default webkit scrollers in the editor pane. width/height is based on `em` so that the font size decides the dimensions. Maybe others like it a little thicker but I thought 0.5 was a good place to start.