pre { line-height: 125%; margin: 0; } td.linenos pre { color: #000000; backgGFXSRC += $(GFXLIB)/src/tdisp/tdisp.c
GFXSRC += $(GFXLIB)/src/tdisp/tdisp.c