better styling of new diff header

darcs-hash:20090123004015-f7d6d-814c0c3cb2abe0aa202b7e7b97cda6fc78ae9c56.gz

2 files changed, 17 insertions, 6 deletions

diff --git a/inc/html.php b/inc/html.php
index b9812d0a5..97a94e111 100644
--- a/inc/html.php
+++ b/inc/html.php
@@ -927,7 +927,7 @@ function html_diff($text='',$intro=true){
       if ($l_info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) $l_minor = 'class="minor"';
 
       $l_head = '<a class="wikilink1" href="'.wl($ID,"rev=$l_rev").'">'.
-                $ID.' '.strftime($conf['dformat'],$l_rev).'</a>'.
+                $ID.' ['.strftime($conf['dformat'],$l_rev).']</a>'.
                 '<br />'.$l_user.' '.$l_sum;
     }
 
@@ -941,7 +941,7 @@ function html_diff($text='',$intro=true){
       if ($r_info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) $r_minor = 'class="minor"';
 
       $r_head = '<a class="wikilink1" href="'.wl($ID,"rev=$r_rev").'">'.
-                $ID.' '.strftime($conf['dformat'],$r_rev).'</a>'.
+                $ID.' ['.strftime($conf['dformat'],$r_rev).']</a>'.
                 '<br />'.$r_user.' '.$r_sum;
     }elseif($_rev = @filemtime(wikiFN($ID))){
       $_info   = getRevisionInfo($ID,$_rev,true);
@@ -953,11 +953,11 @@ function html_diff($text='',$intro=true){
       if ($_info['type']===DOKU_CHANGE_TYPE_MINOR_EDIT) $r_minor = 'class="minor"';
 
       $r_head  = '<a class="wikilink1" href="'.wl($ID).'">'.
-               $ID.' '.strftime($conf['dformat'],$_rev).'</a> '.
-               $lang['current'].
+               $ID.' ['.strftime($conf['dformat'],$_rev).']</a> '.
+               '('.$lang['current'].')'.
                 '<br />'.$_user.' '.$_sum;
     }else{
-      $r_head = '&mdash; '.$lang['current'];
+      $r_head = '&mdash; ('.$lang['current'].')';
     }
   }
 
diff --git a/lib/tpl/default/design.css b/lib/tpl/default/design.css
index 90c66cf3e..b2af3f448 100644
--- a/lib/tpl/default/design.css
+++ b/lib/tpl/default/design.css
@@ -594,11 +594,22 @@ div.dokuwiki td.diff-blockheader {
 }
 div.dokuwiki table.diff th {
   border-bottom: 1px solid __border__;
-  font-size: 120%;
+  font-size: 110%;
   width: 50%;
   font-weight: normal;
   text-align: left;
 }
+div.dokuwiki table.diff th a {
+    font-weight: bold;
+}
+div.dokuwiki table.diff th span.user {
+    color: __text__;
+    font-size: 80%;
+}
+div.dokuwiki table.diff th span.sum {
+    font-size: 80%;
+    font-weight: bold;
+}
 div.dokuwiki table.diff th.minor {
   font-style: italic;
 }