diff options
Diffstat (limited to 'roles/webserver/files/www/memzero/pub')
-rw-r--r-- | roles/webserver/files/www/memzero/pub/.gen.sh | 3 | ||||
-rw-r--r-- | roles/webserver/files/www/memzero/pub/references.html | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/roles/webserver/files/www/memzero/pub/.gen.sh b/roles/webserver/files/www/memzero/pub/.gen.sh index 36016f3..a7c5f48 100644 --- a/roles/webserver/files/www/memzero/pub/.gen.sh +++ b/roles/webserver/files/www/memzero/pub/.gen.sh @@ -18,6 +18,9 @@ cat <<EOF > $OUT font-family: inherit; font-size: inherit; } + li:hover { + background-color: lightgray; + } </style> <script> /// Map HTML elements to display kinds. diff --git a/roles/webserver/files/www/memzero/pub/references.html b/roles/webserver/files/www/memzero/pub/references.html index 28e776f..ad5e7e0 100644 --- a/roles/webserver/files/www/memzero/pub/references.html +++ b/roles/webserver/files/www/memzero/pub/references.html @@ -13,6 +13,9 @@ font-family: inherit; font-size: inherit; } + li:hover { + background-color: lightgray; + } </style> <script> /// Map HTML elements to display kinds. |