/* JMH: Contains stylesheet overrides for rendering the trace output correctly. */

span.tracecontent,
span.tracecontent * { font-size: 11px !important; }
span.tracecontent h3 { font-style: normal !important; margin: 0px !important; padding: 4px 0px; }