projects
/
mudsync.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update codebase to use 8sync-fibers
[mudsync.git]
/
data
/
web-static
/
css
/
main.css
diff --git
a/data/web-static/css/main.css
b/data/web-static/css/main.css
index 308a556f1ded375d1228cd2d23cc520a3e7f5640..8138f6c067b44650f06e34af7112d10cdbd05628 100644
(file)
--- a/
data/web-static/css/main.css
+++ b/
data/web-static/css/main.css
@@
-2,14
+2,14
@@
font-family: 'Inconsolata';
font-style: normal;
font-weight: 400;
font-family: 'Inconsolata';
font-style: normal;
font-weight: 400;
- src:
local('Inconsolata-Regular'), local('Inconsolata'), local('Inconsolata Regular'),
url('../fonts/inconsolata/Inconsolata-Regular.ttf');
+ src: url('../fonts/inconsolata/Inconsolata-Regular.ttf');
}
@font-face {
font-family: 'Inconsolata';
font-style: normal;
font-weight: 700;
}
@font-face {
font-family: 'Inconsolata';
font-style: normal;
font-weight: 700;
- src:
local('Inconsolata-Bold'), local('Inconsolata Bold'),
url('../fonts/inconsolata/Inconsolata-Bold.ttf');
+ src: url('../fonts/inconsolata/Inconsolata-Bold.ttf');
}
*, *:before, *:after {
}
*, *:before, *:after {
@@
-26,6
+26,25
@@
body {
font-size: 12pt;
}
font-size: 12pt;
}
+span.pre-ish {
+ font-size: 12pt;
+ white-space: pre-wrap;
+}
+
+ul {
+ margin-top: .25em;
+ margin-bottom: .25em;
+ padding-left: 2ch;
+ list-style: none;
+}
+
+ul li:before {
+ content: "\2022";
+ margin-right: 1ch;
+ font-weight: bold;
+}
+
+
#stream-metabox {
flex-direction: column;
display: flex;
#stream-metabox {
flex-direction: column;
display: flex;
@@
-79,6
+98,13
@@
body {
border-left-color: #b4b4b4;
}
border-left-color: #b4b4b4;
}
+#connection-status.connected {
+ color: #88be7e;
+}
+
+#connection-status.disconnected {
+ color: #be8b7e;
+}
\f
#input-metabox {
\f
#input-metabox {
@@
-90,7
+116,7
@@
body {
padding: 15px;
}
padding: 15px;
}
-input {
+
#input-metabox
input {
border-top-left-radius: 8px;
border-top-right-radius: 8px;
border-bottom-left-radius: 8px;
border-top-left-radius: 8px;
border-top-right-radius: 8px;
border-bottom-left-radius: 8px;