#debuginfo{font-family:courier,monospace;font-size:smaller;background-color:#d3d3d3;color:#00f}