From a173057a2c596fef086cf12a94b4d12d5c578e84 Mon Sep 17 00:00:00 2001 From: DikieDick <26772815+DikieDick@users.noreply.github.com> Date: Mon, 11 May 2026 08:46:32 +0200 Subject: [PATCH 1/2] Add link to Aquarium on landing page --- assets/style.css | 7 +++++++ index.html | 17 ++++++++++++----- 2 files changed, 19 insertions(+), 5 deletions(-) diff --git a/assets/style.css b/assets/style.css index b28f89c..2569d5b 100644 --- a/assets/style.css +++ b/assets/style.css @@ -53,3 +53,10 @@ flex: 1; } } + +#impermeable-logo-button { + height: 1.5em; + width: auto; + vertical-align: top; + margin-right: 0.4em; +} \ No newline at end of file diff --git a/index.html b/index.html index 98f8db7..6338720 100644 --- a/index.html +++ b/index.html @@ -99,11 +99,18 @@

Learn to prove mathematical statements.

Try it out!

Complete some exercises online:

-

- - Open in GitHub Codespaces - -

+

VSCode extension

Waterproof can be used in VSCode.

From 2c1a39d823ba438b0f4ab51d31b47187d28b4b0d Mon Sep 17 00:00:00 2001 From: DikieDick <26772815+DikieDick@users.noreply.github.com> Date: Wed, 13 May 2026 10:21:34 +0200 Subject: [PATCH 2/2] implement code suggestion Co-authored-by: jim-portegies <36723906+jim-portegies@users.noreply.github.com> --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index 6338720..6d4f2d8 100644 --- a/index.html +++ b/index.html @@ -101,7 +101,7 @@

Try it out!

Complete some exercises online: