X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Ftrace_css.ml.str;fp=src%2Ftrace_css.ml.str;h=513b2397874d248bbbd4080839e98b675c3c72c3;hp=0000000000000000000000000000000000000000;hb=c6a89f390d6171f99d98f794427c1cce42fbf40c;hpb=fee64144491afab22d71f6e2de72a9f18f35cd55

diff --git a/src/trace_css.ml.str b/src/trace_css.ml.str
new file mode 100644
index 0000000..513b239
--- /dev/null
+++ b/src/trace_css.ml.str
@@ -0,0 +1,46 @@
+div#data {
+    position: absolute;
+    top: 0%;
+    left: 50%;
+    width: 50%;
+    height: 50%;
+    overflow: auto;
+}
+div#svg {
+    position: absolute;
+    top: 50%;
+    left: 0%;
+    width: 100%;
+    height: 50%;
+    overflow: auto;
+}
+
+div#automata {
+    white-space: pre;
+    overflow: auto;
+    position: absolute;
+    width: 50%;
+    top: 0%;
+    left: 0%;
+    height: 50%;
+}
+@-webkit-keyframes fadein {
+    from { fill-opacity: 0; }
+    to { fill-opacity: 1; }
+}
+
+@-moz-keyframes fadein {
+    from { fill-opacity: 0; }
+    to { fill-opacity: 1; }
+}
+
+@keyframes fadein {
+    from { fill-opacity: 0; }
+    to { fill-opacity: 1; }
+}
+
+.blink {
+    -webkit-animation: fadein 1.2s ease-in alternate infinite;
+    -moz-animation: fadein 1.2s ease-in alternate infinite;
+    animation: fadein 1.2s ease-in alternate infinite;
+}
\ No newline at end of file