/* 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; }