diff options
Diffstat (limited to 'docs/manual.html')
| -rw-r--r-- | docs/manual.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/manual.html b/docs/manual.html index ef738dd..a0fd721 100644 --- a/docs/manual.html +++ b/docs/manual.html @@ -168,7 +168,7 @@ body.toc2{padding-left:15em;padding-right:0} #toc.toc2 ul.sectlevel0 ul.sectlevel1{padding-left:0;margin-top:.5em;margin-bottom:.5em} body.toc2.toc-right{padding-left:0;padding-right:15em} body.toc2.toc-right #toc.toc2{border-right-width:0;border-left:1px solid #efefed;left:auto;right:0}}@media only screen and (min-width:1280px){body.toc2{padding-left:20em;padding-right:0} -#toc.toc2{width:30em} +#toc.toc2{width:20em} #toc.toc2 #toctitle{font-size:1.375em} #toc.toc2>ul{font-size:.95em} #toc.toc2 ul ul{padding-left:1.25em} @@ -5509,8 +5509,8 @@ If exceptions are disabled, then in the event of parsing failure the query is in </div> <div id="footer"> <div id="footer-text"> -Last updated 2015-03-24 10:02:58 PDT +Last updated 2015-03-24 20:19:09 PDT </div> </div> </body> -</html> +</html>
\ No newline at end of file |