fixed profiler so updates after pause; nes presets; resize windows; dialog for gist share

2026-04-21 06:16:43 +00:00 · 2019-03-03 14:37:22 -06:00
parent ab1500ccb6
commit 733846af16
10 changed files with 184 additions and 119 deletions
@@ -431,3 +431,20 @@ div.markdown th {
 height:100%;
 overflow-y:auto;
 }
+div.profiler {
+  background-color: #333;
+  color: #ddd;
+  white-space: pre;
+  margin-top: 20px auto 0;
+  font-family: "Andale Mono", "Menlo", "Lucida Console", monospace;
+  font-size: 10pt;
+}
+span.profiler-lineno {
+  color: #fff;
+}
+span.profiler-local {
+  color: #999;
+}
+span.profiler-cident {
+  color: #99ffff;
+}