first commit

2024-09-30 18:11:26 -04:00
commit e592ca6823
27270 changed files with 5002257 additions and 0 deletions
@@ -0,0 +1,27 @@
+/* tool_profiling styles */
+
+.path-admin-tool-profiling .profilingruntable .label {
+    font-weight: bold;
+}
+
+.path-admin-tool-profiling .profiling_worse {
+    color: red;
+}
+
+.path-admin-tool-profiling .profiling_better {
+    color: green;
+}
+
+.path-admin-tool-profiling .profiling_same {
+    color: dimgrey;
+}
+
+.path-admin-tool-profiling .profiling_important,
+.path-admin-tool-profiling .flexible .referencerun {
+    font-weight: bold;
+}
+
+.path-admin-tool-profiling .flexible {
+    margin-left: auto;
+    margin-right: auto;
+}