diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/toc.html | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/doc/toc.html b/doc/toc.html index 19223abda..272f43c7e 100644 --- a/doc/toc.html +++ b/doc/toc.html @@ -1,35 +1,3 @@ -<style> - .doco-list-group-item > a { - font-weight: bold; - } - - .sub-menu { - margin: 3px 0px 10px 10px; - } - - #doco-content h3 { - border-bottom: #ccc 3px solid; - padding-bottom: 0.3em; - } - - #doco-content h4 { - text-decoration: underline; - } - - #doco-content h5 { - text-decoration: underline; - } - - #region_1 .widget ul ul { - list-style-type: none; - } - - .toc-content li, - #doco-top-toc li { - padding: 3px 0px; - } -</style> - <div class="" id="accordion"> <div class="panel"> <div class=""> |