resources/src/mediawiki/mediawiki.debug.profile.css

   1 .mw-debug-profile-tipsy .tipsy-inner {
   2         /* undo max-width from vector on .tipsy-inner */
   3         max-width: none;
   4         /* needed for some browsers to provide space for the scrollbar without wrapping text */
   5         min-width: 100%;
   6         max-height: 150px;
   7         overflow-y: auto;
   8 }
   9
  10 .mw-debug-profile-underline {
  11         stroke-width: 1;
  12         stroke: #dfdfdf;
  13 }
  14
  15 .mw-debug-profile-period {
  16         fill: red;
  17 }
  18
  19 /* connecting line between endpoints on long events */
  20 .mw-debug-profile-period line {
  21         stroke: red;
  22         stroke-width: 2;
  23 }
  24
  25 .mw-debug-profile-tipsy,
  26 .mw-debug-profile-timeline text {
  27         color: #444;
  28         fill: #444;
  29         /* using em's causes the two locations to have different sizes */
  30         font-size: 12px;
  31         font-family: sans-serif;
  32 }
  33
  34 .mw-debug-profile-meta,
  35 .mw-debug-profile-timeline tspan {
  36         /* using em's causes the two locations to have different sizes */
  37         font-size: 10px;
  38 }
  39
  40 .mw-debug-profile-no-data {
  41         text-align: center;
  42         padding-top: 5em;
  43         font-weight: bold;
  44         font-size: 1.2em;
  45 }