On 2/2/11 2:16 PM, Magnus Lie Hetland wrote:
On 2011-02-02 16:01:29 +0100, Andrej Mitrovic said:
Yay! Glad to see this being incorporated in the website.
Btw, about the fonts:
I think this is a bug with the cutting-edge site only. The fonts
appear bigger, but they'll end up being smaller on the dmars website.
See:
http://i.imgur.com/7nfzz.jpg
Ahah!
Then I guess squashing that bug would be useful, before fretting any
more about horizontal real-estate :)
I fixed it by removing any absolute font sizes from std.ddoc.
Andrei