diff options
Diffstat (limited to 'public/css/style.css')
| -rw-r--r-- | public/css/style.css | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/public/css/style.css b/public/css/style.css index a73e2dd..c0701f3 100644 --- a/public/css/style.css +++ b/public/css/style.css @@ -164,6 +164,16 @@ p.info { padding: 0; } +p.filterinfo { + font: 11px sans-serif; + color: #555; + margin: .4em; + padding: 0; + /* Specify size and block specifically, so that the space needed is always reserved */ + display: block; + height: 11px; +} + /* User list */ #connection-warning { |