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_es.html.git | 132 +++++++++++++++++++++++++++++----- 1 file changed, 114 insertions(+), 18 deletions(-) (limited to 'Documentation/user-manual_es.html.git') diff --git a/Documentation/user-manual_es.html.git b/Documentation/user-manual_es.html.git index 0fc59bd90..c1dac8401 100644 --- a/Documentation/user-manual_es.html.git +++ b/Documentation/user-manual_es.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; + } +}