From 904094281b062aff3445ca41fec57e4cfd0f563d Mon Sep 17 00:00:00 2001
From: Matthew Sotoudeh <matthewsot@outlook.com>
Date: Tue, 10 Nov 2020 14:06:35 -0800
Subject: Initial code release

---
 examples/program_analysis/ui/style.css | 35 ++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 examples/program_analysis/ui/style.css

(limited to 'examples/program_analysis/ui/style.css')

diff --git a/examples/program_analysis/ui/style.css b/examples/program_analysis/ui/style.css
new file mode 100644
index 0000000..33ba1a4
--- /dev/null
+++ b/examples/program_analysis/ui/style.css
@@ -0,0 +1,35 @@
+body {
+    vertical-align: top;
+    min-height: 1500px;
+}
+
+.document {
+    white-space: pre;
+    line-height: 1.5em;
+    font-family: mono;
+    font-size: 0.95em;
+    position: relative;
+    border: 3px solid red;
+    display: inline-block;
+    padding: 10px;
+    margin-left: 5px;
+    vertical-align: top;
+}
+    .chunk-in-structure {
+        border: 3px solid gray;
+    }
+    .chunk-in-map {
+        border: 3px solid green;
+    }
+    .highlight {
+        background-color: green;
+    }
+.document.generated {
+    border-color: blue;
+}
+    .document.generated .chunk-in-map {
+        border-color: blue;
+    }
+    .document.generated .highlight {
+        background-color: blue;
+    }
-- 
cgit v1.2.3