diff --git a/client/src/components/LandingPage.css b/client/src/components/LandingPage.css index bdb1266..325e556 100644 --- a/client/src/components/LandingPage.css +++ b/client/src/components/LandingPage.css @@ -117,7 +117,6 @@ div.image { } header { - border: 1px solid green; background-repeat: none; background-size: 100% 100%; background-position: center; diff --git a/client/src/components/LandingPage.tsx b/client/src/components/LandingPage.tsx index 02b100d..81b5ff6 100644 --- a/client/src/components/LandingPage.tsx +++ b/client/src/components/LandingPage.tsx @@ -136,8 +136,9 @@ This is a good first introduction to Lean!"
- As this server runs lean on our university machines, it has a limited capacity of 15-25 - games running simultaneously. We hope to address this limitation in the future. + As this server runs lean on our university machines, it has a limited capacity. + Our current estimate is about 55 copies of the NNG or 25 copies of games importing + mathlib. We hope to address this limitation in the future.
Most aspects of the games and the infrastructure are still in development. Feel free to