s4

changeset 353:240e695ed574

find changesets by author, revision, files, or words in the commit message
Adjust margins of line number content
author HIROSE Yuuji <yuuji@gentei.org>
date Wed, 26 Oct 2016 12:31:22 +0859
parents dd0c70353869
children 5ab7efa5a950
files examples/common/default/pretty.m4.txt
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line diff
     1.1 --- a/examples/common/default/pretty.m4.txt	Wed Oct 26 12:25:05 2016 +0859
     1.2 +++ b/examples/common/default/pretty.m4.txt	Wed Oct 26 12:31:22 2016 +0859
     1.3 @@ -5,12 +5,12 @@
     1.4  <!-- Default style for pretty-print of text files -->
     1.5  <head><title>_TITLE_</title>
     1.6  <style type="text/css">
     1.7 -pre {margin-left: 8.5ex;}
     1.8 +pre {margin-left: 6ex;}
     1.9  pre span {counter-increment: linenum; text-align: right; position: relative;}
    1.10  pre span:before {
    1.11      position: absolute; right: 0px;
    1.12 -    background: #ddd; text-align: right; padding: 0 0.5ex;
    1.13 -    width: 8ex; margin-right: 0.5ex;
    1.14 +    background: #ddd; text-align: right; padding: 0 0.2ex;
    1.15 +    width: 5.5ex; margin-right: 0.5ex;
    1.16      content: counter(linenum) ":";
    1.17  }
    1.18  </style>