Index: debugger.css =================================================================== --- debugger.css (revision 14733) +++ debugger.css (working copy) @@ -1,3 +1,13 @@ +#debug_layer code { + font-family: monospace; +} + +#debug_layer b, #debug_layer strong { + font-weight: bold; +} + +/*
tags inside tags, produced by "hightlight_string" method call in PHP have strange bottom margin sometimes */ + .dbg_profiler { margin-top: 5px; padding: 0px;