diff --git a/doc/site/style.css b/doc/site/style.css index 7494d8b8..9076d529 100644 --- a/doc/site/style.css +++ b/doc/site/style.css @@ -146,7 +146,7 @@ PRE{ margin-bottom:3px; } -.menu { +.menu, .site-menu { padding:23px 0 0 24px; } diff --git a/index.html b/index.html index a463d535..5031e00f 100644 --- a/index.html +++ b/index.html @@ -35,7 +35,7 @@
-