diff options
Diffstat (limited to 'notes')
| -rw-r--r-- | notes/benchmarks.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/notes/benchmarks.org b/notes/benchmarks.org index 2bb3a28..4fa7736 100644 --- a/notes/benchmarks.org +++ b/notes/benchmarks.org @@ -1,7 +1,7 @@ #+TITLE: combox #+HTML_HEAD_EXTRA: <style> -#+HTML_HEAD_EXTRA: #table-of-contents { position:fixed; right: 20px; bottom:0; background-color: rgb(255, 255, 255);} #+HTML_HEAD_EXTRA: #text-table-of-contents { display: none; } +#+HTML_HEAD_EXTRA: #table-of-contents { position:fixed; right: 20px; bottom:0; background-color: rgb(255, 255, 255); z-index:100;} #+HTML_HEAD_EXTRA: #table-of-contents:hover #text-table-of-contents { display: block; } #+HTML_HEAD_EXTRA: body {font-size: 11px;} #+HTML_HEAD_EXTRA: </style> |