diff --git a/index.html b/index.html
index fcbe5cab..85af5fda 100644
--- a/index.html
+++ b/index.html
@@ -6,7 +6,6 @@
body {
overflow: hidden;
font-size: 11px;
- font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
}
.dbg_info {
font-size: 0.8em;
@@ -81,6 +80,8 @@ div.mem_info {
white-space: pre;
padding: 20px;
z-index: 2;
+ font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
+ font-size: 12pt;
}
span.hilite {
color: #ff66ff;
@@ -185,8 +186,8 @@ a.dropdown-toggle {
+
-