+#source-progress {
+ min-height: 2em;
+ min-width: 40em;
+}
+
+#black-boxed-message-label,
+#black-boxed-message-button {
+ text-align: center;
+ font-size: 120%;
+}
+
+#black-boxed-message-button {
+ margin-top: 1em;
+ padding: .25em;
+}
+
+/* Tracer */
+
+#trace {
+ list-style-image: url("tracer-icon.png");
+ -moz-image-region: rect(0px,16px,16px,0px);
+}
+
+#trace:hover,
+#trace[checked] {
+ -moz-image-region: rect(0px,32px,16px,16px);
+}
+
+@media (min-resolution: 2dppx) {
+ #trace {
+ list-style-image: url(tracer-icon@2x.png);
+ -moz-image-region: rect(0px,32px,32px,0px);
+ }
+
+ #trace:hover,
+ #trace[checked] {
+ -moz-image-region: rect(0px,64px,32px,32px);
+ }
+}
+
+#clear-tracer {
+ /* Make this button as narrow as the text inside it. */
+ min-width: 1px;
+}
+
+.trace-name {
+ -moz-padding-start: 4px !important;
+}
+
+/* Tracer dark+light theme */
+
+.trace-item {
+ color: #FF9F00; /* Light foreground text */
+}
+
+.trace-item.black-boxed {
+ color: #A09090;
+}
+
+.trace-item.selected-matching {
+ background-color: #004242; /* Select highlight blue at 40% alpha */
+}
+
+.selected > .trace-item {
+ background-color: #004242; /* Select highlight blue at 75% alpha */
+}
+
+.trace-call {
+ color: #9C9CFF; /* highlight blue */
+}
+
+.trace-return,
+.trace-yield {
+ color: #008484; /* highlight green */