diff --git a/docs/docs/extra.css b/docs/docs/extra.css new file mode 100644 index 0000000000000000000000000000000000000000..2281f083dd0338b8b89c3bddeb9adcf4a8d46b92 --- /dev/null +++ b/docs/docs/extra.css @@ -0,0 +1 @@ +.codehilite {width: 590px;} diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index e72971290de69c0fb9fcd15bbd2199d219b1cef3..8113103ff942d92c1c4f2ee174d1dcb22630edf6 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -23,6 +23,9 @@ theme: name: readthedocs highlightjs: true +extra_css: + - extra.css + markdown_extensions: - admonition - codehilite: