From e7400271445a5103b96ded2528fe87048f869c15 Mon Sep 17 00:00:00 2001 From: joneugster Date: Mon, 23 Oct 2023 18:07:55 +0200 Subject: [PATCH] move css files --- client/src/app.tsx | 4 ++-- client/src/components/infoview/main.tsx | 2 +- client/src/components/inventory.tsx | 2 +- client/src/components/landing_page.tsx | 2 +- client/src/components/level.tsx | 2 +- client/src/components/welcome.tsx | 2 +- client/src/components/world_tree.tsx | 2 +- client/src/{ => css}/app.css | 0 client/src/{components/infoview => css}/infoview.css | 0 client/src/{components => css}/inventory.css | 0 client/src/{components => css}/landing_page.css | 0 client/src/{components => css}/level.css | 0 client/src/{ => css}/reset.css | 0 client/src/{components => css}/welcome.css | 0 client/src/{components => css}/world_tree.css | 0 15 files changed, 8 insertions(+), 8 deletions(-) rename client/src/{ => css}/app.css (100%) rename client/src/{components/infoview => css}/infoview.css (100%) rename client/src/{components => css}/inventory.css (100%) rename client/src/{components => css}/landing_page.css (100%) rename client/src/{components => css}/level.css (100%) rename client/src/{ => css}/reset.css (100%) rename client/src/{components => css}/welcome.css (100%) rename client/src/{components => css}/world_tree.css (100%) diff --git a/client/src/app.tsx b/client/src/app.tsx index e944825..f2eaf15 100644 --- a/client/src/app.tsx +++ b/client/src/app.tsx @@ -6,8 +6,8 @@ import '@fontsource/roboto/400.css'; import '@fontsource/roboto/500.css'; import '@fontsource/roboto/700.css'; -import './reset.css'; -import './app.css'; +import './css/reset.css'; +import './css/app.css'; import { MobileContext } from './components/infoview/context'; import { useWindowDimensions } from './window_width'; import { selectOpenedIntro } from './state/progress'; diff --git a/client/src/components/infoview/main.tsx b/client/src/components/infoview/main.tsx index c9848fe..76c2fb6 100644 --- a/client/src/components/infoview/main.tsx +++ b/client/src/components/infoview/main.tsx @@ -6,7 +6,7 @@ import type { DidCloseTextDocumentParams, DidChangeTextDocumentParams, Location, import 'tachyons/css/tachyons.css'; import '@vscode/codicons/dist/codicon.css'; import '../../../../node_modules/lean4-infoview/src/infoview/index.css'; -import './infoview.css' +import '../../css/infoview.css' import { LeanFileProgressParams, LeanFileProgressProcessingInfo, defaultInfoviewConfig, EditorApi, InfoviewApi } from '@leanprover/infoview-api'; import { useClientNotificationEffect, useServerNotificationEffect, useEventResult, useServerNotificationState } from '../../../../node_modules/lean4-infoview/src/infoview/util'; diff --git a/client/src/components/inventory.tsx b/client/src/components/inventory.tsx index 5b56503..896b1f7 100644 --- a/client/src/components/inventory.tsx +++ b/client/src/components/inventory.tsx @@ -1,6 +1,6 @@ import * as React from 'react'; import { useState, useEffect } from 'react'; -import './inventory.css' +import '../css/inventory.css' import { FontAwesomeIcon } from '@fortawesome/react-fontawesome' import { faLock, faBan } from '@fortawesome/free-solid-svg-icons' import { GameIdContext } from '../app'; diff --git a/client/src/components/landing_page.tsx b/client/src/components/landing_page.tsx index b395c89..4c15597 100644 --- a/client/src/components/landing_page.tsx +++ b/client/src/components/landing_page.tsx @@ -6,7 +6,7 @@ import '@fontsource/roboto/400.css'; import '@fontsource/roboto/500.css'; import '@fontsource/roboto/700.css'; -import './landing_page.css' +import '../css/landing_page.css' import coverRobo from '../assets/covers/formaloversum.png' import bgImage from '../assets/bg.jpg' diff --git a/client/src/components/level.tsx b/client/src/components/level.tsx index bcbafd9..8282182 100644 --- a/client/src/components/level.tsx +++ b/client/src/components/level.tsx @@ -41,7 +41,7 @@ import '@fontsource/roboto/500.css' import '@fontsource/roboto/700.css' import 'lean4web/client/src/editor/infoview.css' import 'lean4web/client/src/editor/vscode.css' -import './level.css' +import '../css/level.css' import { LevelAppBar } from './app_bar' function Level() { diff --git a/client/src/components/welcome.tsx b/client/src/components/welcome.tsx index c6e2b53..af15e50 100644 --- a/client/src/components/welcome.tsx +++ b/client/src/components/welcome.tsx @@ -19,7 +19,7 @@ import { RulesHelpPopup } from './popup/rules_help' import { UploadPopup } from './popup/upload' import { WorldTreePanel } from './world_tree' -import './welcome.css' +import '../css/welcome.css' import { WelcomeAppBar } from './app_bar' import { Hint } from './hints' diff --git a/client/src/components/world_tree.tsx b/client/src/components/world_tree.tsx index f9db908..13619bf 100644 --- a/client/src/components/world_tree.tsx +++ b/client/src/components/world_tree.tsx @@ -15,7 +15,7 @@ import { useAppDispatch } from '../hooks' import { selectDifficulty, changedDifficulty, selectCompleted } from '../state/progress' import { store } from '../state/store' -import './world_tree.css' +import '../css/world_tree.css' // Settings for the world tree cytoscape.use( klay ) diff --git a/client/src/app.css b/client/src/css/app.css similarity index 100% rename from client/src/app.css rename to client/src/css/app.css diff --git a/client/src/components/infoview/infoview.css b/client/src/css/infoview.css similarity index 100% rename from client/src/components/infoview/infoview.css rename to client/src/css/infoview.css diff --git a/client/src/components/inventory.css b/client/src/css/inventory.css similarity index 100% rename from client/src/components/inventory.css rename to client/src/css/inventory.css diff --git a/client/src/components/landing_page.css b/client/src/css/landing_page.css similarity index 100% rename from client/src/components/landing_page.css rename to client/src/css/landing_page.css diff --git a/client/src/components/level.css b/client/src/css/level.css similarity index 100% rename from client/src/components/level.css rename to client/src/css/level.css diff --git a/client/src/reset.css b/client/src/css/reset.css similarity index 100% rename from client/src/reset.css rename to client/src/css/reset.css diff --git a/client/src/components/welcome.css b/client/src/css/welcome.css similarity index 100% rename from client/src/components/welcome.css rename to client/src/css/welcome.css diff --git a/client/src/components/world_tree.css b/client/src/css/world_tree.css similarity index 100% rename from client/src/components/world_tree.css rename to client/src/css/world_tree.css