diff --git a/doc.zih.tu-dresden.de/mkdocs.yml b/doc.zih.tu-dresden.de/mkdocs.yml index 098c08b74461bd678d2745b9013e95513591c8bf..d05959ffab8c63bfcdbf9718e04a4a602b52d002 100644 --- a/doc.zih.tu-dresden.de/mkdocs.yml +++ b/doc.zih.tu-dresden.de/mkdocs.yml @@ -185,6 +185,7 @@ theme: second_logo: assets/images/zih_weiss.png features: - navigation.instant + - search.highlight # extends base css/js extra_css: