From e60786350912efd9296de433bfc8aeb409cb6f3a Mon Sep 17 00:00:00 2001 From: Anika Henke Date: Thu, 14 Nov 2013 11:03:50 +0000 Subject: [PATCH] changed style of `file` slightly to help tell it apart from `code` --- css/_media_popup.css | 1 + css/content.css | 11 +++++++---- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/css/_media_popup.css b/css/_media_popup.css index c776e6b..715fdb8 100644 --- a/css/_media_popup.css +++ b/css/_media_popup.css @@ -154,6 +154,7 @@ html.popup { #media__content a.mediafile { margin-right: 1.5em; font-weight: bold; + cursor: pointer; } [dir=rtl] #media__content a.mediafile { margin-right: 0; diff --git a/css/content.css b/css/content.css index 70b8ba3..be4401b 100644 --- a/css/content.css +++ b/css/content.css @@ -88,10 +88,6 @@ text-decoration: underline; } -/* for code in */ -.dokuwiki pre.file { -} - /* filenames for downloadable file and code blocks */ .dokuwiki dl.code, .dokuwiki dl.file { @@ -121,6 +117,13 @@ margin: 0; } +/* for code in */ +.dokuwiki pre.file, +.dokuwiki dl.file pre, +.dokuwiki dl.file dt { + border-color: __text_neu__; +} + /*____________ media manager ____________*/