diff options
-rwxr-xr-x | doc/src/template/scripts/functions.js | 2 | ||||
-rwxr-xr-x | doc/src/template/style/style.css | 14 |
2 files changed, 12 insertions, 4 deletions
diff --git a/doc/src/template/scripts/functions.js b/doc/src/template/scripts/functions.js index 329b910..fa454e3 100755 --- a/doc/src/template/scripts/functions.js +++ b/doc/src/template/scripts/functions.js @@ -39,7 +39,7 @@ function doSearch(str){ if (str.length>3) { - alert('start search'); + alert('Search is not yet activated.'); // document.getElementById("refWrapper").innerHTML=""; return; } diff --git a/doc/src/template/style/style.css b/doc/src/template/style/style.css index c46e875..1c78118 100755 --- a/doc/src/template/style/style.css +++ b/doc/src/template/style/style.css @@ -786,10 +786,18 @@ font:600 12px/1.2 Arial; } - .toc ul + .wrap .content .toc ul { - float: left; - padding: 15px; + /* float: left;*/ + padding-left: 0px; + + } + + + .wrap .content .toc .level2 + { + /* float: left;*/ + padding-left: 15px; } |