output = build_dir("./core_libraries")
response = flask.Response(json.dumps(output), mimetype="application/json")
- return response
\ No newline at end of file
+ return response
color: var(--foreground-color);
background: var(--light-background-color);
- border-radius: 6px;
+ /* border-radius: 6px; */
transition: all 0.5s;
}
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 {
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 {
.hidden {
display: none !important;
-}
\ No newline at end of file
+}