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

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