diff doc/printing.html @ 1639:56115e934133

the options for custom border color were made independent
author nadvornik
date Sat, 13 Jun 2009 19:26:32 +0000
parents 2562e0bc89a1
children
line wrap: on
line diff