+:root {
+ --gutter-width: 3em;
+ --gutter-padding-start: 22px;
+ --checkerboard-pattern: linear-gradient(45deg, rgba(128,128,128,0.2) 25%, transparent 25%, transparent 75%, rgba(128,128,128,0.2) 75%, rgba(128,128,128,0.2)),
+ linear-gradient(45deg, rgba(128,128,128,0.2) 25%, transparent 25%, transparent 75%, rgba(128,128,128,0.2) 75%, rgba(128,128,128,0.2));
+}
+
+:root.theme-dark,
+:root.theme-light,
+:root.theme-firebug {
+ --draw-call-background: #403800;
+ --interesting-call-background: #272740;
+}
+