src/trace_css.ml.str

   1 /* -*-CSS-*- */
   2 div#data {
   3     position: absolute;
   4     top: 0%;
   5     left: 50%;
   6     width: 50%;
   7     height: 50%;
   8     overflow: auto;
   9 }
  10 div#svg {
  11     position: absolute;
  12     top: 50%;
  13     left: 0%;
  14     width: 100%;
  15     height: 50%;
  16     overflow: auto;
  17 }
  18
  19 div#automata {
  20     white-space: pre;
  21     overflow: auto;
  22     position: absolute;
  23     width: 50%;
  24     top: 0%;
  25     left: 0%;
  26     height: 50%;
  27 }
  28 @-webkit-keyframes fadein {
  29     from { fill-opacity: 0; }
  30     to { fill-opacity: 1; }
  31 }
  32
  33 @-moz-keyframes fadein {
  34     from { fill-opacity: 0; }
  35     to { fill-opacity: 1; }
  36 }
  37
  38 @keyframes fadein {
  39     from { fill-opacity: 0; }
  40     to { fill-opacity: 1; }
  41 }
  42
  43 .blink {
  44     -webkit-animation: fadein 1.2s ease-in alternate infinite;
  45     -moz-animation: fadein 1.2s ease-in alternate infinite;
  46     animation: fadein 1.2s ease-in alternate infinite;
  47 }