Layout
diff --git a/client/src/components/welcome.tsx b/client/src/components/welcome.tsx
index 5d4b3de..a7c1697 100644
--- a/client/src/components/welcome.tsx
+++ b/client/src/components/welcome.tsx
@@ -42,7 +42,7 @@ function IntroductionPanel({introduction, setPageNumber}: {introduction: string,
{text?.map(((t, i) =>
t.trim() ?
: <>>
))}
@@ -94,7 +94,6 @@ function Welcome() {
function toggleUploadMenu() {setUploadMenu(!uploadMenu)}
function togglePreferencesPopup() {setPreferencesPopup(!preferencesPopup)}
-
// set the window title
useEffect(() => {
if (gameInfo.data?.title) {
diff --git a/client/src/css/level.css b/client/src/css/level.css
index b04b12a..1fbd8db 100644
--- a/client/src/css/level.css
+++ b/client/src/css/level.css
@@ -373,3 +373,12 @@ td code {
/* .proof .step {
border: 2px solid rgb(0, 123, 255);
} */
+
+.nav-btns {
+ height: 2rem;
+}
+
+.nav-btns .language-btn {
+ background: #DDF6FF;
+ text-align: center;
+}
diff --git a/package-lock.json b/package-lock.json
index ff05b9c..47d5876 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -35,6 +35,7 @@
"octokit": "^3.1.2",
"path-browserify": "^1.0.1",
"react": "^18.2.0",
+ "react-country-flag": "^3.1.0",
"react-dom": "^18.2.0",
"react-markdown": "^8.0.4",
"react-native": "^0.72.3",
@@ -13084,6 +13085,17 @@
"node": ">=0.10.0"
}
},
+ "node_modules/react-country-flag": {
+ "version": "3.1.0",
+ "resolved": "https://registry.npmjs.org/react-country-flag/-/react-country-flag-3.1.0.tgz",
+ "integrity": "sha512-JWQFw1efdv9sTC+TGQvTKXQg1NKbDU2mBiAiRWcKM9F1sK+/zjhP2yGmm8YDddWyZdXVkR8Md47rPMJmo4YO5g==",
+ "engines": {
+ "node": ">=12"
+ },
+ "peerDependencies": {
+ "react": ">=16"
+ }
+ },
"node_modules/react-devtools-core": {
"version": "4.28.5",
"resolved": "https://registry.npmjs.org/react-devtools-core/-/react-devtools-core-4.28.5.tgz",
diff --git a/package.json b/package.json
index 72053c4..5b30a6c 100644
--- a/package.json
+++ b/package.json
@@ -32,6 +32,7 @@
"octokit": "^3.1.2",
"path-browserify": "^1.0.1",
"react": "^18.2.0",
+ "react-country-flag": "^3.1.0",
"react-dom": "^18.2.0",
"react-markdown": "^8.0.4",
"react-native": "^0.72.3",