From f18a2a11fa565fe455efb991eeb3d2a867a2a899 Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 22 Dec 2022 22:49:41 +0100 Subject: [PATCH] make repl and doc styles more similar --- .eslintignore | 1 + website/src/components/Header/Header.astro | 18 +++++++++++++----- .../components/LeftSidebar/LeftSidebar.astro | 4 ++-- .../RightSidebar/TableOfContents.tsx | 4 ++-- website/src/layouts/MainLayout.astro | 4 ++-- website/src/repl/Header.jsx | 4 ++-- website/src/repl/Repl.css | 4 ---- website/src/styles/index.css | 4 ++++ website/tailwind.config.cjs | 17 ++++++++++++++++- 9 files changed, 42 insertions(+), 18 deletions(-) diff --git a/.eslintignore b/.eslintignore index e4289393..99fffe67 100644 --- a/.eslintignore +++ b/.eslintignore @@ -9,6 +9,7 @@ out/** postcss.config.js postcss.config.cjs tailwind.config.js +tailwind.config.cjs vite.config.js /**/dist/**/* !**/*.mjs diff --git a/website/src/components/Header/Header.astro b/website/src/components/Header/Header.astro index 5f5b6556..c7f672c8 100644 --- a/website/src/components/Header/Header.astro +++ b/website/src/components/Header/Header.astro @@ -5,6 +5,7 @@ import * as CONFIG from '../../config'; import SidebarToggle from './SidebarToggle'; // import LanguageSelect from './LanguageSelect'; import Search from './Search'; +import CommandLineIcon from '@heroicons/react/20/solid/CommandLineIcon'; type Props = { currentPage: string; @@ -14,21 +15,28 @@ const { currentPage } = Astro.props as Props; // const lang = getLanguageFromURL(currentPage); --- -