# HG changeset patch
# User Ruslan Ermilov <ru@nginx.com>
# Date 1326902628 0
# Node ID 05bddd18056f6928d2ac3104002bf45e3c46c565
# Parent  0c01d3ae7ca1da452c8582da92664ade749caf20
Show the history information in a less intrusive manner.

diff -r 0c01d3ae7ca1 -r 05bddd18056f xsls/style.xsls
--- a/xsls/style.xsls	Wed Jan 18 15:49:53 2012 +0000
+++ b/xsls/style.xsls	Wed Jan 18 16:03:48 2012 +0000
@@ -15,6 +15,8 @@
         div.directive td  { vertical-align: baseline; }
         div.directive pre { padding:        0;
                             margin:         0; }
+        div.directive p   { margin:         5pt 0 0 0;
+                            font-size:      80%; }
         span.initial      { font-size:      200%;
                             float:          left;
                             padding-right:  10pt;}