diff --git a/doc/site/css/style.css b/doc/site/css/style.css index 55d1ca75b..715fe3e92 100644 --- a/doc/site/css/style.css +++ b/doc/site/css/style.css @@ -1,3 +1,4 @@ +.navbar-brand {font-weight:bold;} /* from https://github.com/blaenk/blaenk.github.io/blob/source/provider/scss/_article.scss */ #toc { max-width:40%;