aboutsummaryrefslogtreecommitdiff
path: root/tools/gui/resources/web/styles.css
diff options
context:
space:
mode:
Diffstat (limited to 'tools/gui/resources/web/styles.css')
-rw-r--r--tools/gui/resources/web/styles.css75
1 files changed, 70 insertions, 5 deletions
diff --git a/tools/gui/resources/web/styles.css b/tools/gui/resources/web/styles.css
index 6aa45e9..759dd06 100644
--- a/tools/gui/resources/web/styles.css
+++ b/tools/gui/resources/web/styles.css
@@ -30,12 +30,16 @@ hr {
border-bottom: transparent solid 1px;
}
+pre {
+ margin: 0 0 1em 0;
+}
+
button, .small-btn {
background: #dc322f;
color: #fff;
font-size: 1em;
padding: 0.2em;
- border: transparent solid 0.1em;
+ border: none;
border-radius: 1em;
text-transform: uppercase;
cursor: pointer;
@@ -47,9 +51,14 @@ button, .small-btn {
padding: 0 1em;
}
+.link-btn:hover {
+ color: #dc322f;
+ cursor: pointer;
+}
+
button:hover {
- background: #073642;
- border: #fff solid 0.1em;
+ background: #fff;
+ color: #002B36;
}
button:active {
@@ -57,7 +66,8 @@ button:active {
}
button:disabled {
- background: transparent;
+ background: #073642;
+ color: #fff;
cursor: default;
}
@@ -66,6 +76,7 @@ input[type="text"] {
color: #fff;
border: none;
width: 33%;
+ min-width: 15em;
font-size: 1em;
}
@@ -115,6 +126,10 @@ input[type="checkbox"]:checked + label:after {
border-color: #dc322f;
}
+.stroke {
+ text-shadow: 0 1px 0 #002B36, 0 -1px 0 #002B36, 1px 0 0 #002B36, -1px 0 0 #002B36;
+}
+
.container {
margin: 0 8%;
text-align: center;
@@ -138,10 +153,11 @@ button, .entry {
left: 0;
right: 0;
margin: 0 auto;
+ border: #002B36 solid 0.5em;
background: #073642;
width: 84%;
max-height: 80%;
- overflow-y: scroll;
+ overflow-y: auto;
text-align: center;
display: none;
z-index: 2;
@@ -194,3 +210,52 @@ button, .entry {
#popup tr:first-child:hover {
color: #002B36;
}
+
+#flow-create, #flow-copy {
+ display: none;
+}
+
+#example-browser {
+ width: 100%;
+ float: left;
+}
+
+#file-browser {
+ overflow-x: auto;
+ padding-right: 0.4em;
+ float: left;
+ max-width: 30%;
+}
+
+#code-browser {
+ background: #073642;
+ font-size: 1.2rem;
+ text-align: left;
+ padding: 0.4em;
+ overflow-x: auto;
+ max-height: 100%;
+}
+
+.browser-node {
+ font-size: 1.2rem;
+ text-align: left;
+ line-height: 1.2em;
+ background: #002B36;
+ padding: 0.2em 0 0 0.2em;
+}
+
+.browser-node > div {
+ margin-left: 2em;
+}
+
+.file-node {
+ cursor: pointer;
+}
+
+.file-node:hover, .selected-node {
+ color: #dc322f;
+}
+
+.even-node {
+ background: #073642;
+}