K 10
svn:author
V 5
gabor
K 8
svn:date
V 27
2014-02-04T14:47:02.342498Z
K 7
svn:log
V 165
- Revert the change of the size of admonition boxes since it did not render
  fine when embedded to procedures (should that be allowed at all?)

Reported by:	wblock

END