diff options
| -rw-r--r-- | docs/index.html | 13 | ||||
| -rw-r--r-- | docs/res/qlogo.png | bin | 0 -> 28965 bytes |
2 files changed, 12 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index 97747f0..b27c8c9 100644 --- a/docs/index.html +++ b/docs/index.html @@ -12,7 +12,7 @@ </head> <body> <div class="header"> - <img src="res/logo.png" /> + <img src="res/logo.png" hsrc="res/qlogo.png" /> <h1>bruijn</h1> </div> @@ -208,5 +208,16 @@ in std/Number/Unary.bruijn:35 </div> <script src="script.js" charset="utf-8"></script> + <script charset="utf-8"> + document.querySelectorAll("img[hsrc]").forEach((e) => { + const toggle = () => { + const temp = e.src; + e.src = e.getAttribute("hsrc"); + e.setAttribute("hsrc", temp); + }; + e.addEventListener("mouseenter", toggle); + e.addEventListener("mouseleave", toggle); + }); + </script> </body> </html> diff --git a/docs/res/qlogo.png b/docs/res/qlogo.png Binary files differnew file mode 100644 index 0000000..b300be1 --- /dev/null +++ b/docs/res/qlogo.png |
