changeset 353:240e695ed574

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 wrap: on
line diff
--- a/examples/common/default/pretty.m4.txt	Wed Oct 26 12:25:05 2016 +0859
+++ b/examples/common/default/pretty.m4.txt	Wed Oct 26 12:31:22 2016 +0859
@@ -5,12 +5,12 @@
 <!-- Default style for pretty-print of text files -->
 <head><title>_TITLE_</title>
 <style type="text/css">
-pre {margin-left: 8.5ex;}
+pre {margin-left: 6ex;}
 pre span {counter-increment: linenum; text-align: right; position: relative;}
 pre span:before {
     position: absolute; right: 0px;
-    background: #ddd; text-align: right; padding: 0 0.5ex;
-    width: 8ex; margin-right: 0.5ex;
+    background: #ddd; text-align: right; padding: 0 0.2ex;
+    width: 5.5ex; margin-right: 0.5ex;
     content: counter(linenum) ":";
 }
 </style>

yatex.org