From 915d31f275304e1c6327f7062c7064fc0f328044 Mon Sep 17 00:00:00 2001
From: cyfraeviolae <cyfraeviolae>
Date: Sun, 16 May 2021 19:23:23 -0400
Subject: update a

---
 .gitignore       | 1 +
 src/Parser.hs    | 2 --
 static/style.css | 4 ++--
 3 files changed, 3 insertions(+), 4 deletions(-)
 create mode 100644 .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..8ee1bf9
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.stack-work
diff --git a/src/Parser.hs b/src/Parser.hs
index c61cd79..2d0798f 100644
--- a/src/Parser.hs
+++ b/src/Parser.hs
@@ -163,8 +163,6 @@ split (Or x y) =
       MFormula [] y' = split y
    in MFormula [] (MOr x' y')
 
-(&) = And
-
 renameAddend :: (Symbol -> Symbol) -> Addend -> Addend
 renameAddend f (Var x) = Var (f x)
 renameAddend f x = x
diff --git a/static/style.css b/static/style.css
index 531350c..382da4f 100644
--- a/static/style.css
+++ b/static/style.css
@@ -24,11 +24,11 @@ body {
 }
 
 a {
-	color: #1eaedb;
+	color: #1a97bf;
 }
 
 a:hover {
-	color: #0e99c4;
+	color: #075d77;
 }
 
 .container {
-- 
cgit v1.2.3