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..6d4f2d8 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.