diff options
| author | marijus <mario@mariovavti.com> | 2014-10-09 12:05:22 +0200 |
|---|---|---|
| committer | marijus <mario@mariovavti.com> | 2014-10-09 12:05:22 +0200 |
| commit | 156c317a0abef0e7fe3bd53b305fcc645aaaa8c2 (patch) | |
| tree | e78ec8271f0cbfc3c0fb0f7ce16bc34fcac1c255 | |
| parent | f9200027d0c5ccbffa9b406eca3e72ab2a071f05 (diff) | |
| download | volse-hubzilla-156c317a0abef0e7fe3bd53b305fcc645aaaa8c2.tar.gz volse-hubzilla-156c317a0abef0e7fe3bd53b305fcc645aaaa8c2.tar.bz2 volse-hubzilla-156c317a0abef0e7fe3bd53b305fcc645aaaa8c2.zip | |
fix css for [code]
| -rw-r--r-- | view/css/conversation.css | 8 | ||||
| -rw-r--r-- | view/theme/redbasic/css/style.css | 6 | ||||
| -rw-r--r-- | view/theme/redbasic/php/style.php | 6 |
3 files changed, 12 insertions, 8 deletions
diff --git a/view/css/conversation.css b/view/css/conversation.css index 03df5d4f3..9fb4093ca 100644 --- a/view/css/conversation.css +++ b/view/css/conversation.css @@ -1,3 +1,11 @@ +/* common */ + +code { + font-family: Courier, monospace; + display: block; + overflow: auto; +} + /* jot */ #jot-title, diff --git a/view/theme/redbasic/css/style.css b/view/theme/redbasic/css/style.css index b5fccc1b9..4e0f9641c 100644 --- a/view/theme/redbasic/css/style.css +++ b/view/theme/redbasic/css/style.css @@ -118,15 +118,11 @@ pre code { } code { - font-family: Courier, monospace; font-size: 1em; - display: block; - overflow: auto; + padding: 5px; border: 1px solid $code_borderc; background: $code_bgcolour; color: $code_txtcolour; - padding: 10px; - margin-top: 20px; } pre { diff --git a/view/theme/redbasic/php/style.php b/view/theme/redbasic/php/style.php index 01ca5a7b9..9e9ae17cd 100644 --- a/view/theme/redbasic/php/style.php +++ b/view/theme/redbasic/php/style.php @@ -152,11 +152,11 @@ if(! $a->install) { if (! $blockquote_bordercolour) $blockquote_bordercolour = "#ccc"; if (! $code_borderc) - $code_borderc = "#444"; + $code_borderc = "#ccc"; if (! $code_bgcolour) - $code_bgcolour = "#EEE"; + $code_bgcolour = "#ccc"; if (! $code_txtcolour) - $code_txtcolour = "#444"; + $code_txtcolour = "#000"; if (! $pre_borderc) $pre_borderc = "#ccc"; if (! $pre_bgcolour) |