src/trace_css.ml.str

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