[Home][m] Add portaljs home page with links to subpages

2021-05-19 12:03:34 +01:00
parent 1e2a76571e
commit c4375a6d70
12 changed files with 9991 additions and 148 deletions
--- a/docs/styles/Home.module.css
+++ b/docs/styles/Home.module.css
@@ -111,7 +111,7 @@
 }

 .logo {
-  height: 1em;
+  height: 1.5em;
 }

@media (max-width: 600px) {