src/trace_css.ml.str

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