diff --git a/docs/assets/css/font.css b/docs/assets/css/font.css index 67b92ac5..bb3ea1d1 100644 --- a/docs/assets/css/font.css +++ b/docs/assets/css/font.css @@ -1,5 +1,5 @@ @import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Mono&display=swap"); -@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Mono&text=┌─┬┐└┴┘│├┼┤╭╮╰╯&display=swap"); +@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+Mono&text=┌─┬┐└┴┘│├┼┤╭╮╰╯┏━┳┓┗┛┃┡╇┩&display=swap"); @import url("https://fonts.googleapis.com/css2?family=Playpen+Sans:wght@500&display=swap"); .md-header__topic:first-child { diff --git a/mkdocs.yml b/mkdocs.yml index adbcff4e..e1a96bac 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -20,7 +20,7 @@ theme: - navigation.top - navigation.indexes - navigation.path - - toc.integrate + - toc.follow - content.code.annotate - content.action.edit - content.action.view