Fix watcher's disgusting padding.

This commit is contained in:
Mayhem 2011-04-27 23:47:56 +02:00
parent e79961031a
commit 2f438e7bab
2 changed files with 12 additions and 4 deletions

View File

@ -2232,12 +2232,16 @@
#watcher {\ #watcher {\
position: absolute;\ position: absolute;\
}\ }\
#watcher > div {\
padding-right: 5px;\
padding-left: 5px;\
}\
#watcher > div.move {\ #watcher > div.move {\
text-decoration: underline;\ text-decoration: underline;\
padding: 5px 5px 0 5px;\ padding-top: 5px;\
}\ }\
#watcher > div:last-child {\ #watcher > div:last-child {\
padding: 0 5px 5px 5px;\ padding-bottom: 5px;\
}\ }\
\ \
body.noselect {\ body.noselect {\

View File

@ -1752,12 +1752,16 @@ main =
#watcher { #watcher {
position: absolute; position: absolute;
} }
#watcher > div {
padding-right: 5px;
padding-left: 5px;
}
#watcher > div.move { #watcher > div.move {
text-decoration: underline; text-decoration: underline;
padding: 5px 5px 0 5px; padding-top: 5px;
} }
#watcher > div:last-child { #watcher > div:last-child {
padding: 0 5px 5px 5px; padding-bottom: 5px;
} }
body.noselect { body.noselect {