diff --git a/client/src/app.css b/client/src/app.css
index 3dabc1e..aabb65d 100644
--- a/client/src/app.css
+++ b/client/src/app.css
@@ -139,3 +139,7 @@ em {
.markdown ul, .markdown ol {
margin:0 1.5em 1.5em 1.5em;
}
+
+.privacy-policy {
+ z-index: 10;
+}
diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx
index be81063..3f4642e 100644
--- a/client/src/components/level.tsx
+++ b/client/src/components/level.tsx
@@ -33,7 +33,7 @@ import { DeletedChatContext, InputModeContext, MobileContext, MonacoEditorContex
import { DualEditor } from './infoview/main'
import { GameHint } from './infoview/rpc_api'
import { DeletedHints, Hint, Hints } from './hints'
-import { Impressum } from './privacy_policy'
+import { PrivacyPolicyPopup } from './privacy_policy'
import '@fontsource/roboto/300.css'
import '@fontsource/roboto/400.css'
@@ -50,8 +50,17 @@ function Level() {
const worldId = params.worldId
// useLoadWorldFiles(worldId)
+ const [impressum, setImpressum] = React.useState(false)
+
+ const closeImpressum = () => {
+ setImpressum(false)
+ }
+
return
Our server is located in Germany.
Contact information:
- Jon Eugster
+ Alexander Bentkamp, Jon Eugster
Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
Universitätsstr. 1
40225 Düsseldorf
@@ -39,6 +39,21 @@ export function PrivacyPolicyPopup ({handleClose}: {handleClose: () => void}) {
+49 211 81-12173
Contact Details
+ The source code of this Lean game engine + is available on Github. + If you experience any problems, please + file an Issue on Github or + get directly in contact. +
++ The game engine has been developed as part of the + project ADAM: Anticipating the Digital + Age of Mathematics at + Heinrich-Heine-Universität Düsseldorf. It is funded by + the Stiftung Innovation in der Hochschullehre as part of project Freiraum 2022. +
- This Lean game engine has been developed as part of the - project ADAM: Anticipating the Digital - Age of Mathematics at - Heinrich-Heine-Universität Düsseldorf. It is funded by - the Stiftung Innovation in der Hochschullehre as part of project Freiraum 2022. -
- -- The source code is available on Github. - If you experience any problems, please - file an Issue on Github or - get directly in contact. -
-- Our server collects metadata (such as IP address, browser, operating system) - and the data that the user enters into the editor. The data is used to - compute the Lean output and display it to the user. The information will be stored - as long as the user stays on our website and will be deleted immediately afterwards. - We keep logs to improve our software, but the contained data is anonymised. -
-- We do not use cookies, but your game progress is stored in the browser storage - as site data. Your game progress is not saved on the server; if you delete - your browser storage, it is completely gone. -
-Our server is located in Germany.
-
- Contact information:
- Jon Eugster
- Mathematisches Institut der Heinrich-Heine-Universität Düsseldorf
- Universitätsstr. 1
- 40225 Düsseldorf
- Germany
- +49 211 81-12173
- Contact Details
-