aboutsummaryrefslogtreecommitdiff
path: root/css/manual.css
diff options
context:
space:
mode:
Diffstat (limited to 'css/manual.css')
-rw-r--r--css/manual.css61
1 files changed, 61 insertions, 0 deletions
diff --git a/css/manual.css b/css/manual.css
new file mode 100644
index 0000000..bc10538
--- /dev/null
+++ b/css/manual.css
@@ -0,0 +1,61 @@
+/* Style-sheet to use for manuals (copied from Emacs) */
+
+@import url('style.css');
+
+/* makeinfo 6.5 converts @quotation to <blockquote>. Highlight them. */
+blockquote {
+ font-style: normal;
+ border-left: solid 10px red;
+ padding-left: 2.5%;
+ margin-left: 0px;
+}
+
+/* Increase inter-line spacing to improve readability. */
+p, pre, li, dt, dd, table, code, address { line-height: 1.5em; }
+
+var { font-style: italic; }
+
+/* Lay out @lisp just like @example. Copied from what /style.css
+ does for the 'example' class. */
+div.lisp { padding: .8em 1.2em .4em; }
+pre.lisp { padding: .8em 1.2em; }
+div.lisp, pre.lisp {
+ margin: 1em 0 1em 3% ;
+ -webkit-border-radius: .3em;
+ -moz-border-radius: .3em;
+ border-radius: .3em;
+ border: 1px solid #d4cbb6;
+ background-color: #f2efe4;
+}
+div.lisp > pre.lisp {
+ padding: 0 0 .4em;
+ margin: 0;
+ border: none;
+}
+
+/* ----- coreutils specific styling ----- */
+
+/* layout.css indents "body p" when it should probably only indent "body > p"?
+ In any case, disable indenting of p in these sub elements. */
+dd p,li p {
+ margin-left: 0;
+ margin-right: 0;
+}
+
+/* underlined links are distracting, especially within outlined tables. */
+a { /*add :link for external links*/
+ text-decoration: none; /* don't underline links by default */
+ outline-style: none; /* don't put dotted box around clicked links */
+}
+a:hover {
+ text-decoration: underline;
+}
+
+body {
+ /* The shadow around the body is distracting. */
+ box-shadow: 0 0 0 0;
+
+ /* Make sure the body doesn't become to wide: long lines are hard to
+ read. */
+ max-width: 55em;
+}