Formatting fixes in dvi2rgb and rgb2dvi user guide