From 8840dc6f7a81344ee0729c0db22574104a4dd841 Mon Sep 17 00:00:00 2001 From: Christian Lopes Date: Mon, 3 Jun 2024 12:07:01 -0300 Subject: [PATCH] Showing the EM logo in the header on mobile, so the user can easily go back to the home screen -- #294 --- src/client/components/network-editor/header.js | 2 +- src/client/components/network-editor/title-editor.js | 12 ++---------- 2 files changed, 3 insertions(+), 11 deletions(-) diff --git a/src/client/components/network-editor/header.js b/src/client/components/network-editor/header.js index 995a429..e2acc50 100644 --- a/src/client/components/network-editor/header.js +++ b/src/client/components/network-editor/header.js @@ -112,7 +112,7 @@ export function Header({ onClick={() => onOpenLeftDrawer(!leftDrawerOpen)} /> )} - + ({ '& .MuiInputBase-input': { position: 'relative', border: '1px solid transparent', - borderRadius: 5, + borderRadius: 8, width: '100%', - minWidth: 240, maxWidth: 640, - padding: 2, + padding: theme.spacing(1), fontWeight: 'bold', - [theme.breakpoints.down('sm')]: { - textAlign: 'center', - minWidth: 140, - }, - [theme.breakpoints.up('sm')]: { - textAlign: 'left', - }, '&:hover': { border: `1px solid ${theme.palette.divider}`, backgroundColor: theme.palette.background.field,