diff --git a/css/ui.css b/css/ui.css index ee1bdab7..6426f5d1 100644 --- a/css/ui.css +++ b/css/ui.css @@ -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; +} diff --git a/index.html b/index.html index 67cfcacc..c7167cda 100644 --- a/index.html +++ b/index.html @@ -82,8 +82,9 @@ if (window.location.host.endsWith('8bitworkshop.com')) {