1 files changed, 82 insertions, 0 deletions
diff --git a/godel/css/styles.css b/godel/css/styles.css
new file mode 100644
index 0000000..799e183
--- /dev/null
+++ b/godel/css/styles.css
@@ -0,0 +1,82 @@
+* {
+  margin: 0;
+}
+
+button {
+  background: #bbbbbb;
+  border: 1px solid white;
+  border-radius: 0.2rem;
+  padding: 0.3rem;
+  display: inline-block;
+  cursor: pointer;
+}
+
+button:hover {
+  background: #cccccc;
+}
+
+body {
+  font-family: "Trebuchet MS", sans-serif;
+  background-color: #aaaaaa;
+}
+
+.container {
+  display: flex;
+  width: 90%;
+  margin-left: auto;
+  margin-right: auto;
+  flex-direction: column;
+  gap: 1rem;
+
+  padding: 2rem;
+}
+
+.textarea-container {
+  display: flex;
+  flex-direction: column;
+  gap: 1rem;
+  box-shadow: 5px 5px 5px #666666;
+  border: 2px solid white;
+  border-radius: 0.25rem;
+  padding: 1rem;
+  flex: 1;
+}
+
+.source-container {
+  display: flex;
+  flex-direction: row;
+  gap: 1rem;
+  height: 100%;
+}
+
+textarea {
+  border-radius: 0.25rem;
+}
+
+.CodeMirror {
+  height: 50vh;
+}
+
+.error {
+  color: red;
+}
+
+.success {
+  color: green;
+}
+
+hr {
+  border-top: 2px solid black;
+  border-bottom: none;
+}
+
+pre {
+  white-space: pre-wrap;
+  word-wrap: break-word;
+}
+
+@media only screen and (max-width: 1000px) {
+  .source-container {
+    flex-direction: column;
+  }
+}