[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] [gnunet] branch master updated: try use manual.css instead
From: |
gnunet |
Subject: |
[GNUnet-SVN] [gnunet] branch master updated: try use manual.css instead of docstyle.css |
Date: |
Sun, 10 Feb 2019 16:49:09 +0100 |
This is an automated email from the git hooks/post-receive script.
grothoff pushed a commit to branch master
in repository gnunet.
The following commit(s) were added to refs/heads/master by this push:
new bda4ec98e try use manual.css instead of docstyle.css
bda4ec98e is described below
commit bda4ec98e091f1fcdb17cc43e956f8053a37fb15
Author: Christian Grothoff <address@hidden>
AuthorDate: Sun Feb 10 16:49:06 2019 +0100
try use manual.css instead of docstyle.css
---
doc/handbook/Makefile.am | 4 ++--
doc/handbook/manual.css | 52 ++++++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 54 insertions(+), 2 deletions(-)
diff --git a/doc/handbook/Makefile.am b/doc/handbook/Makefile.am
index 8be033f23..1be5d1da7 100644
--- a/doc/handbook/Makefile.am
+++ b/doc/handbook/Makefile.am
@@ -9,7 +9,7 @@ infoimagedir = $(infodir)/images
# $(DOT_FILES:%.dot=%.eps)
\
# $(DOT_FILES:%.dot=%.pdf)
-AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css
+AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=manual.css
dist_infoimage_DATA = \
images/gnunet-gtk-0-10-gns-a-done.png \
@@ -78,7 +78,7 @@ dist_infoimage_DATA =
\
info_TEXINFOS = \
- gnunet.texi
+ gnunet.texi
gnunet_TEXINFOS = \
chapters/developer.texi \
diff --git a/doc/handbook/manual.css b/doc/handbook/manual.css
new file mode 100644
index 000000000..404525dc2
--- /dev/null
+++ b/doc/handbook/manual.css
@@ -0,0 +1,52 @@
+/* Style-sheet to use for manuals (copied from Emacs) */
+
address@hidden 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;
+}
+
+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;
+}
+
+/* The shadow around the body is distracting. */
+body { box-shadow: 0 0 0 0; }
--
To stop receiving notification emails like this one, please contact
address@hidden
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [GNUnet-SVN] [gnunet] branch master updated: try use manual.css instead of docstyle.css,
gnunet <=