changed look a little bit
authorBrendan Hansen <brendan.f.hansen@gmail.com>
Mon, 20 Feb 2023 02:52:11 +0000 (20:52 -0600)
committerBrendan Hansen <brendan.f.hansen@gmail.com>
Mon, 20 Feb 2023 02:52:11 +0000 (20:52 -0600)
config/default.py
serve.py
static/css/index.css

index 48ef9bae97dd8b7e41849a3b648e548b7135b16c..2561dcbd4b628cb9b52f01f890b87c3e5338c912 100644 (file)
@@ -1 +1,5 @@
-ENDPOINT="/onyx"
+DOMAIN_NAME="http://localhost:5000"
+
+ENDPOINT="/../"
+
+ONYX_SOURCE_FOLDER="/home/brendan/dev/onyx"
index 50ef5e89fc13b86d01924b282dcf3e4679ccb8e4..6081d11a9654bf70b9bca3533bcc8a5d1224bbd6 100644 (file)
--- a/serve.py
+++ b/serve.py
@@ -144,4 +144,4 @@ def get_core_libraries():
     output = build_dir("./core_libraries")
 
     response = flask.Response(json.dumps(output), mimetype="application/json")
-    return response
\ No newline at end of file
+    return response
index 7c3f582598a2ebddf7b73e895af6a857ee39c616..f664511c0fdd8166f4c86e2eddc4d23b0d89898a 100644 (file)
@@ -60,7 +60,7 @@ select {
     color: var(--foreground-color);
     background: var(--light-background-color);
 
-    border-radius: 6px;
+    /* border-radius: 6px; */
 
     transition: all 0.5s;
 }
@@ -271,8 +271,14 @@ select:hover {
     background: #a04444;
 }
 
+.modal {
+    border-radius: 0 !important;
+    -webkit-border-radius: 0 !important;
+}
+
 .ace_editor {
-    font-family: "mononoki Nerd Font Mono", "mononoki NF", Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace !important;
+    /* font-family: "mononoki Nerd Font Mono", "mononoki NF", Monaco, Menlo, "Ubuntu Mono", Consolas, source-code-pro, monospace !important; */
+    font-family: monospace !important;
 }
 
 .tab-line {
@@ -280,15 +286,16 @@ select:hover {
     border-bottom: 2px solid var(--dark-background-color);
     cursor: default;
     user-select: none;
+    line-height: calc(var(--tab-line-height) + 2px);
 }
 
 .tab-line span {
     background: var(--active-color);
-    border-radius: 8px 8px 0 0;
-    margin-left: 8px;
-    padding: 2px 6px;
+    /* border-radius: 8px 8px 0 0; */
+    /* margin-left: 8px; */
+    padding: 4px 6px;
     height: 100%;
-    line-height: var(--tab-line-height);
+    /* line-height: var(--tab-line-height); */
 }
 
 ::-webkit-scrollbar {
@@ -352,4 +359,4 @@ select:hover {
 
 .hidden {
     display: none !important;
-}
\ No newline at end of file
+}