11 Sep
2013
11 Sep
'13
2:43 p.m.
On 13-09-11 07:31 AM, Obscaenvs wrote:
since the official version is a bit too TimesNewRoman-y for my ..."developed" taste.
I question that. Is it the official CSS, or is it your own browser setting? I see no TimesNewRoman-y here. The official version in my Firefox (Ubuntu 13.04 Desktop): http://imageshack.us/a/img546/2439/6fqa.png The <p> element containing "Let's start with an example GHCi session" is under these CSS rules, which clearly requests a Sans Serif font. http://imageshack.us/a/img194/9026/0peh.png Lastly, my Firefox font setting: http://imageshack.us/a/img694/1183/jhc3.png