Add pretty border and implement lockHEADmain

Improves some of the scheme logic and adds a lock file so that people
don't open a million instances of extant on accident.

2 files changed, 72 insertions, 11 deletions

diff --git a/data/resources.xml b/data/resources.xml
deleted file mode 100644
index 456a445..0000000
--- a/data/resources.xml
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<gresources>
-  <gresource prefix="/ski/frog/assistant">
-    <file>window.css</file>
-  </gresource>
-</gresources>
diff --git a/data/window.css b/data/window.css
index 64357a3..4bfdba6 100644
--- a/data/window.css
+++ b/data/window.css
@@ -1,21 +1,88 @@
 window {
     background: transparent;
-    border-radius: 999px;
+}
+
+#messages-box {
+    padding: 15px;
+}
+
+#messages-box .user, #messages-box .handler {
+    border: 1px solid @theme_fg_color;
+    padding: 5px;
+    margin: 5px 0;
+    border-radius: 15px;
+    caret-color: transparent;
+}
+
+#messages-box .user {
+    background: @theme_bg_color;
+    border-bottom-right-radius: 3px;
+}
+
+#messages-box .handler {
+    background: @theme_bg_color;
+    border-bottom-left-radius: 3px;
 }
 
 #prompt-box {
-    border: none;
+    border-bottom-left-radius: 5px;
+    border-bottom-right-radius: 5px;
+    border: 2px solid transparent;
+    border-radius: 12px;
+    padding: 3px;
+    margin: 0 20px;
+
+    background: @theme_base_color;
+    animation: orbit 4s linear infinite;
 }
 
 #prompt-box button {
     border: none;
-    border-radius: 0px;
+    padding: 3px;
+    border-radius: 999px;
+    border: 1px solid @theme_fg_color;
 }
 
 #prompt-box entry {
     border: none;
     outline-width: 0px;
-    border-radius: 0px;
+    border-radius: 5px;
 }
 
-
+@keyframes orbit {
+    0% {
+        box-shadow:
+            5px 0 12px #3251a5,
+            0 5px 12px #093d57,
+            -5px 0 12px #2b135e,
+            0 -5px 12px #5455a6;
+    }
+    25% {
+        box-shadow:
+            0 5px 12px #3251a5,
+            -5px 0 12px #093d57,
+            0 -5px 12px #2b135e,
+            5px 0 12px #5455a6;
+    }
+    50% {
+        box-shadow:
+            -5px 0 12px #3251a5,
+            0 -5px 12px #093d57,
+            5px 0 12px #2b135e,
+            0 5px 12px #5455a6;
+    }
+    75% {
+        box-shadow:
+            0 -5px 12px #3251a5,
+            5px 0 12px #093d57,
+            0 5px 12px #2b135e,
+            -5px 0 12px #5455a6;
+    }
+    100% {
+        box-shadow:
+            5px 0 12px #3251a5,
+            0 5px 12px #093d57,
+            -5px 0 12px #2b135e,
+            0 -5px 12px #5455a6;
+    }
+}