diff --git a/client/src/components/LeftPanel.tsx b/client/src/components/Inventory.tsx
similarity index 94%
rename from client/src/components/LeftPanel.tsx
rename to client/src/components/Inventory.tsx
index ecc3754..915186c 100644
--- a/client/src/components/LeftPanel.tsx
+++ b/client/src/components/Inventory.tsx
@@ -5,7 +5,7 @@ import { FontAwesomeIcon } from '@fortawesome/react-fontawesome'
 import { faLock, faLockOpen, faBook, faHammer, faBan } from '@fortawesome/free-solid-svg-icons'
 import Markdown from './Markdown';
 
-function LeftPanel({ tactics, lemmas } :
+function Inventory({ tactics, lemmas } :
   {lemmas: {name: string, locked: boolean, disabled: boolean}[],
    tactics: {name: string, locked: boolean, disabled: boolean}[]}) {
 
@@ -31,4 +31,4 @@ function InventoryItem({name, locked, disabled}) {
   return <div className={`item ${className}`}>{icon} {name}</div>
 }
 
-export default LeftPanel;
+export default Inventory;
diff --git a/client/src/components/Level.tsx b/client/src/components/Level.tsx
index 4b1e597..0159d28 100644
--- a/client/src/components/Level.tsx
+++ b/client/src/components/Level.tsx
@@ -9,7 +9,7 @@ import { Link, useParams } from 'react-router-dom';
 import { Box, CircularProgress, FormControlLabel, FormGroup, Switch, IconButton } from '@mui/material';
 import MuiDrawer from '@mui/material/Drawer';
 import Grid from '@mui/material/Unstable_Grid2';
-import LeftPanel from './LeftPanel';
+import Inventory from './Inventory';
 import { LeanTaskGutter } from 'lean4web/client/src/editor/taskgutter';
 import { AbbreviationProvider } from 'lean4web/client/src/editor/abbreviation/AbbreviationProvider';
 import 'lean4web/client/src/editor/vscode.css';
@@ -179,7 +179,7 @@ function Level() {
         </EditorContext.Provider>
       </div>
       <div className="doc-panel">
-        {!level.isLoading && <LeftPanel tactics={level?.data?.tactics} lemmas={level?.data?.lemmas} />}
+        {!level.isLoading && <Inventory tactics={level?.data?.tactics} lemmas={level?.data?.lemmas} />}
       </div>
     </Split>
   </>
diff --git a/client/src/components/level.css b/client/src/components/level.css
index 3386146..c720e42 100644
--- a/client/src/components/level.css
+++ b/client/src/components/level.css
@@ -73,11 +73,11 @@
 }
 
 .doc-panel li {
-  border-bottom: 1px solid rgba(0, 0, 0, 0.12); /* This should be teh same colour as `divider` in LeftPanel.tsx */
+  border-bottom: 1px solid rgba(0, 0, 0, 0.12); /* This should be teh same colour as `divider` in Inventory.tsx */
 }
 
 .doc-panel li:first-of-type {
-  border-top: 1px solid rgb(0, 0, 0, 0.12); /* This should be teh same colour as `divider` in LeftPanel.tsx */
+  border-top: 1px solid rgb(0, 0, 0, 0.12); /* This should be teh same colour as `divider` in Inventory.tsx */
 }
 
 /* fix as Mui seems to set this to `nowrap`. */