Refactor HTML Tracing to not depend on external files (style, javascript). Add a...

[tatoo.git] / src / trace_css.ml.str

diff --git a/src/trace_css.ml.str b/src/trace_css.ml.str
new file mode 100644 (file)
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