changed style of `file` slightly to help tell it apart from `code`

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;

css/content.css

@@ -88,10 +88,6 @@
     text-decoration: underline;
 }
 
-/* for code in <file> */
-.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 <file> */
+.dokuwiki pre.file,
+.dokuwiki dl.file pre,
+.dokuwiki dl.file dt {
+    border-color: __text_neu__;
+}
+
 
 /*____________ media manager ____________*/