diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/stylesheets/main.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/public/stylesheets/main.css b/public/stylesheets/main.css index 223581025..5d84e2427 100644 --- a/public/stylesheets/main.css +++ b/public/stylesheets/main.css @@ -724,6 +724,23 @@ a img.attachment_image { #followup { clear: both; float: left; } +/*------------------------------------------------ view attachment as HTML */ + +.view_html_content { + margin-left: 1em; + margin-right: 1em; +} + +.view_html_download_link { + float: right; +} +.view_html_prefix { + text-align: left; + background-color: #E7E7E7; + border-bottom: 1px solid #5f5f5f; + padding: 0.5em 1em 0.5em 1em; +} + /*------------------------------------------------ authority listings */ #body_sidebar { font-size: 0.85em; |