From 86765774dc8193ed910041b13be25c6d3145ce72 Mon Sep 17 00:00:00 2001 From: Dirk Hohndel Date: Wed, 16 Dec 2015 06:36:51 -0800 Subject: Update the bundled htlm user manual Signed-off-by: Dirk Hohndel --- Documentation/user-manual.html.git | 2004 +++++++++++++++++---------------- Documentation/user-manual_es.html.git | 132 ++- Documentation/user-manual_fr.html.git | 490 ++++---- Documentation/user-manual_ru.html.git | 116 +- 4 files changed, 1501 insertions(+), 1241 deletions(-) diff --git a/Documentation/user-manual.html.git b/Documentation/user-manual.html.git index 04e12aa5b..ba678a6ef 100644 --- a/Documentation/user-manual.html.git +++ b/Documentation/user-manual.html.git @@ -202,6 +202,40 @@ ol.upperroman { list-style-type: upper-roman; } .hdlist td { vertical-align: top; } +@media screen { + body { + max-width: 50em; /* approximately 80 characters wide */ + margin-left: 16em; + } + + #toc { + position: fixed; + top: 0; + left: 0; + bottom: 0; + width: 13em; + padding: 0.5em; + padding-bottom: 1.5em; + margin: 0; + overflow: auto; + border-right: 3px solid #f8f8f8; + background-color: white; + } + + #toc .toclevel1 { + margin-top: 0.5em; + } + + #toc .toclevel2 { + margin-top: 0.25em; + display: list-item; + color: #aaaaaa; + } + + #toctitle { + margin-top: 0.5em; + } +}