projects
/
software
/
mumi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
84a7494
)
css: Separate filters vertically.
author
Ricardo Wurmus
<rekado@elephly.net>
Mon, 30 Mar 2020 17:22:39 +0000
(19:22 +0200)
committer
Ricardo Wurmus
<rekado@elephly.net>
Mon, 30 Mar 2020 17:22:39 +0000
(19:22 +0200)
assets/css/screen.css
patch
|
blob
|
history
diff --git
a/assets/css/screen.css
b/assets/css/screen.css
index 4a39ae41c4eb9d0712ed92e49b374a40dbfddf24..7ebdf3850292602cc9a1bd3e0d5497a42b2f6f60 100644
(file)
--- a/
assets/css/screen.css
+++ b/
assets/css/screen.css
@@
-244,6
+244,7
@@
table {
padding: 2px;
border-radius: 3px;
font-family: monospace;
+ margin: 1px;
}
.status-tag {