@import url('https://fonts.googleapis.com/css2?family=Manrope:wght@200..800&display=swap');

@import 'variables.css';
@import 'layout.css';
@import 'header.css';
@import 'nav.css';
@import 'typeset.css';
@import 'theme-switcher.css';
@import 'search.css';
@import 'table.css';
@import 'dialog.css';
@import 'highlight.css';

html {
    scroll-behavior: smooth;
}