diff options
Diffstat (limited to 'public/stylesheets/main.css')
-rw-r--r-- | public/stylesheets/main.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/public/stylesheets/main.css b/public/stylesheets/main.css index 42c22b45a..c656a503a 100644 --- a/public/stylesheets/main.css +++ b/public/stylesheets/main.css @@ -293,6 +293,12 @@ div.auto_complete ul strong.highlight { margin-left: 12em; } +#to_public_body { + font-size: 140%; + font-weight: bold; +} + + /* /list - browsing requests */ table#list_requests { border-collapse: collapse; |