summaryrefslogtreecommitdiff
path: root/doc/texinfo.css
diff options
context:
space:
mode:
authorSimon Josefsson <simon@josefsson.org>2008-09-23 15:34:55 +0200
committerSimon Josefsson <simon@josefsson.org>2008-09-23 15:34:55 +0200
commit4adda487f300e055aa90253b4d3a8e43fa547a43 (patch)
treecbfe8c8b228ff7325129cfadf74af704b78996d8 /doc/texinfo.css
parentbe4dcbb73ea7436649b75279e449fd1e2d4fa437 (diff)
downloadgnutls-4adda487f300e055aa90253b4d3a8e43fa547a43.tar.gz
Use a stylesheet for texinfo HTML manual.
Diffstat (limited to 'doc/texinfo.css')
-rw-r--r--doc/texinfo.css44
1 files changed, 44 insertions, 0 deletions
diff --git a/doc/texinfo.css b/doc/texinfo.css
new file mode 100644
index 0000000000..78fe1744d2
--- /dev/null
+++ b/doc/texinfo.css
@@ -0,0 +1,44 @@
+body {
+ margin: 2%;
+ padding: 0 5%;
+ background: #f2f2f9;
+}
+h1,h2,h3,h4,h5 {
+ font-weight: bold;
+ padding: 5px 5px 5px 5px;
+ background-color: #c2e0ff;
+ color: #336699;
+}
+h1 {
+ padding: 2em 2em 2em 5%;
+ color: white;
+ background: #336699;
+ text-align: center;
+ letter-spacing: 3px;
+}
+h2 { text-decoration: underline; }
+pre {
+ margin: 0 5%;
+ padding: 0.5em;
+}
+pre.example {
+ border: solid 1px;
+ background: #eeeeff;
+ padding-bottom: 1em;
+}
+pre.verbatim {
+ border: solid 1px gray;
+ background: white;
+ padding-bottom: 1em;
+}
+div.node {
+ margin: 0 -5% 0 -2%;
+ padding: 0.5em 0.5em;
+ margin-top: 0.5em;
+ margin-bottom: 0.5em;
+ font-weight: bold;
+}
+dd, li {
+ padding-top: 0.1em;
+ padding-bottom: 0.1em;
+}