diff --git a/packages/dashboard/src/components/appbar.tsx b/packages/dashboard/src/components/appbar.tsx index b1af45b16..c93f45404 100644 --- a/packages/dashboard/src/components/appbar.tsx +++ b/packages/dashboard/src/components/appbar.tsx @@ -58,6 +58,21 @@ import { RmfAppContext } from './rmf-app'; import { parseTasksFile } from './tasks/utils'; import { Subscription } from 'rxjs'; import { formatDistance } from 'date-fns'; +import { styled } from '@mui/system'; + +const StyledAppBarTab = styled(AppBarTab)(({ theme }) => ({ + fontSize: theme.spacing(4), // spacing = 8 +})); + +const StyledAppBarButton = styled(Button)(({ theme }) => ({ + fontSize: theme.spacing(4), // spacing = 8 + paddingTop: 0, + paddingBottom: 0, +})); + +const StyledIconButton = styled(IconButton)(({ theme }) => ({ + fontSize: theme.spacing(4), // spacing = 8 +})); export type TabValue = 'infrastructure' | 'robots' | 'tasks'; @@ -390,19 +405,19 @@ export const AppBar = React.memo(({ extraToolbarItems }: AppBarProps): React.Rea - navigate(DashboardRoute)} /> - navigate(RobotsRoute)} /> - - + - - + - + - Powered by Open-RMF + Powered by Open-RMF {extraToolbarItems} - setSettingsAnchor(ev.currentTarget)} > - - + + - window.open(resourceManager?.helpLink, '_blank')} > - - + + - window.open(resourceManager?.reportIssue, '_blank')} > - - + + {profile && ( <> - setAnchorEl(event.currentTarget)} > - - + + = ({ title, children, . return ( - + {title} {children}