+// default font size of normal text (HTML font size 0) for printing, in points:
+#define DEFAULT_PRINT_FONT_SIZE 12
+
+
+// CSS specification offer following guidance on dealing with pixel sizes
+// when printing at
+// http://www.w3.org/TR/2004/CR-CSS21-20040225/syndata.html#length-units:
+//
+// Pixel units are relative to the resolution of the viewing device, i.e.,
+// most often a computer display. If the pixel density of the output
+// device is very different from that of a typical computer display, the
+// user agent should rescale pixel values. It is recommended that the [
+// reference pixel] be the visual angle of one pixel on a device with a
+// pixel density of 96dpi and a distance from the reader of an arm's
+// length. For a nominal arm's length of 28 inches, the visual angle is
+// therefore about 0.0213 degrees.
+//
+// For reading at arm's length, 1px thus corresponds to about 0.26 mm
+// (1/96 inch). When printed on a laser printer, meant for reading at a
+// little less than arm's length (55 cm, 21 inches), 1px is about 0.20 mm.
+// On a 300 dots-per-inch (dpi) printer, that may be rounded up to 3 dots
+// (0.25 mm); on a 600 dpi printer, it can be rounded to 5 dots.
+//
+// See also http://trac.wxwidgets.org/ticket/10942.
+#define TYPICAL_SCREEN_DPI 96.0
+