mirror of
https://github.com/moodle/moodle.git
synced 2025-01-19 14:27:22 +01:00
187536f6c4
AMOS BEGIN MOV [calls,report_profiling],[calls,tool_profiling] MOV [cannotfindanyrunforurl,report_profiling],[cannotfindanyrunforurl,tool_profiling] MOV [cannotfindanyrunforrunid,report_profiling],[cannotfindanyrunforrunid,tool_profiling] MOV [comment,report_profiling],[comment,tool_profiling] MOV [differencesbetween2runsof,report_profiling],[differencesbetween2runsof,tool_profiling] MOV [executiontime,report_profiling],[executiontime,tool_profiling] MOV [cputime,report_profiling],[cputime,tool_profiling] MOV [lastrunof,report_profiling],[lastrunof,tool_profiling] MOV [markreferencerun,report_profiling],[markreferencerun,tool_profiling] MOV [memory,report_profiling],[memory,tool_profiling] MOV [pluginname,report_profiling],[pluginname,tool_profiling] MOV [profilingfocusscript,report_profiling],[profilingfocusscript,tool_profiling] MOV [profilingruns,report_profiling],[profilingruns,tool_profiling] MOV [profilingrunsfor,report_profiling],[profilingrunsfor,tool_profiling] MOV [referencerun,report_profiling],[referencerun,tool_profiling] MOV [runid,report_profiling],[runid,tool_profiling] MOV [summaryof,report_profiling],[summaryof,tool_profiling] MOV [viewdetails,report_profiling],[viewdetails,tool_profiling] MOV [viewdiff,report_profiling],[viewdiff,tool_profiling] MOV [viewdiffdetails,report_profiling],[viewdiffdetails,tool_profiling] AMOS END
26 lines
604 B
CSS
26 lines
604 B
CSS
/* 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 .r1 .cell {
|
|
background-color: whitesmoke;
|
|
}
|
|
.path-admin-tool-profiling .flexible {
|
|
margin-left:auto;
|
|
margin-right:auto
|
|
}
|