diff ignore @ 392:4aef227e929c

css: reduce font size of code (pre-tags) and use em instead of % for font-size (for consistency).
author Arne Babenhauserheide <arne.babenhauserheide@fzk.de>
date Mon, 11 Feb 2013 12:14:14 +0100
parents 3e6869f76b8d
children
line wrap: on
line diff