[Summary view] [Print] [Text view]

   1  /* tool_profiling styles */
   2  
   3  .path-admin-tool-profiling .profilingruntable .label {
   4      font-weight: bold;
   5  }
   6  .path-admin-tool-profiling .profiling_worse {
   7      color: red;
   8  }
   9  .path-admin-tool-profiling .profiling_better {
  10      color: green;
  11  }
  12  .path-admin-tool-profiling .profiling_same {
  13      color: dimgrey;
  14  }
  15  .path-admin-tool-profiling .profiling_important,
  16  .path-admin-tool-profiling .flexible .referencerun {
  17      font-weight: bold;
  18  }
  19  .path-admin-tool-profiling .flexible {
  20      margin-left:auto;
  21      margin-right:auto
  22  }