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;