diff options
author | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:25:04 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:25:04 +0200 |
commit | e2f2d33fbe146846dfd44eedd9b36c7cd2794931 (patch) | |
tree | 3607849dc10503a1435e9aaf4ac02643e86cb85a | |
parent | ab3b15f231fac50be793b5bab6ee9aad6b23396d (diff) | |
download | deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.tar.gz deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.tar.bz2 deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.zip |
add build system for onboarding docs
-rw-r--r-- | doc/Makefile | 13 | ||||
-rw-r--r-- | doc/brown-paper.css | 63 | ||||
-rw-r--r-- | doc/docstyle.css | 85 |
3 files changed, 161 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..0c9f835 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,13 @@ +all: onboarding.pdf onboarding.html + +onboarding.pdf: onboarding.texi + texi2pdf onboarding.texi + +onboarding.html: onboarding.texi + texi2any --html --no-split --css-ref=docstyle.css --css-ref=brown-paper.css onboarding.texi + +clean: + rm -f onboarding.html onboarding.pdf + +info_TEXINFOS = onboarding.texi +manual_TEXINFOS = version.texi diff --git a/doc/brown-paper.css b/doc/brown-paper.css new file mode 100644 index 0000000..65e2e79 --- /dev/null +++ b/doc/brown-paper.css @@ -0,0 +1,63 @@ +/* + +Brown Paper style from goldblog.com.ua (c) Zaripov Yura <yur4ik7@ukr.net> + +*/ + +.hljs { + display: block; + overflow-x: auto; + padding: 0.5em; +} + +.hljs-keyword, +.hljs-selector-tag, +.hljs-literal { + color:#005599; + font-weight:bold; +} + +.hljs, +.hljs-subst { + color: #363c69; +} + +.hljs-string, +.hljs-title, +.hljs-section, +.hljs-type, +.hljs-attribute, +.hljs-symbol, +.hljs-bullet, +.hljs-built_in, +.hljs-addition, +.hljs-variable, +.hljs-template-tag, +.hljs-template-variable, +.hljs-link, +.hljs-name { + color: #2c009f; +} + +.hljs-comment, +.hljs-quote, +.hljs-meta, +.hljs-deletion { + color: #802022; +} + +.hljs-keyword, +.hljs-selector-tag, +.hljs-literal, +.hljs-doctag, +.hljs-title, +.hljs-section, +.hljs-type, +.hljs-name, +.hljs-strong { + font-weight: bold; +} + +.hljs-emphasis { + font-style: italic; +} diff --git a/doc/docstyle.css b/doc/docstyle.css new file mode 100644 index 0000000..1a3a88b --- /dev/null +++ b/doc/docstyle.css @@ -0,0 +1,85 @@ +html, body { + font-size: 1em; + text-align: left; + text-decoration: none; +} +html { background-color: #e7e7e7; } + +body { + max-width: 74.92em; + margin: 0 auto; + padding: .5em 1em 1em 1em; + background-color: white; + border: .1em solid #c0c0c0; +} + +h1, h2, h3, h4 { color: #333; } +h5, h6, dt { color: #222; } + + +a h3 { + color: #005090; +} + +a[href] { color: #005090; } +a[href]:visited { color: #100070; } +a[href]:active, a[href]:hover { + color: #100070; + text-decoration: none; +} + +.linkrow { + margin: 3em 0; +} + +.linkrow { + text-align: center; +} + +div.example { padding: .8em 1.2em .4em; } +pre.example { padding: .8em 1.2em; } +div.example, pre.example { + margin: 1em 0 1em 3% ; + -webkit-border-radius: .3em; + -moz-border-radius: .3em; + border-radius: .3em; + border: 1px solid #d4cbb6; + background-color: #f2efe4; +} +div.example > pre.example { + padding: 0 0 .4em; + margin: 0; + border: none; +} + +pre.smallexample { + margin: 1em 0 1em 3% ; + -webkit-border-radius: .3em; + -moz-border-radius: .3em; + border-radius: .3em; + border: 1px solid #d4cbb6; + background-color: #f2efe4; +} + + +/* This makes the very long tables of contents in Gnulib and other + manuals easier to read. */ +.contents ul, .shortcontents ul { font-weight: bold; } +.contents ul ul, .shortcontents ul ul { font-weight: normal; } +.contents ul { list-style: none; } + +/* For colored navigation bars (Emacs manual): make the bar extend + across the whole width of the page and give it a decent height. */ +.header, .node { margin: 0 -1em; padding: 0 1em; } +.header p, .node p { line-height: 2em; } + +/* For navigation links */ +.node a, .header a { display: inline-block; line-height: 2em; } +.node a:hover, .header a:hover { background: #f2efe4; } + +table.cartouche { + border-collapse: collapse; + border-color: darkred; + border-style: solid; + border-width: 3px; +} |