diff --git a/develop/doc/html/_static/pygments.css b/develop/doc/html/_static/pygments.css index 96529c7bd..13b724337 100644 --- a/develop/doc/html/_static/pygments.css +++ b/develop/doc/html/_static/pygments.css @@ -1,4 +1,4 @@ -pre { line-height: 125%; margin: 0; } +pre { line-height: 125%; } td.linenos pre { color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px; } span.linenos { color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px; } td.linenos pre.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; } diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html index ca44977ad..7a91d65fb 100644 --- a/develop/doc/html/design/basics.html +++ b/develop/doc/html/design/basics.html @@ -114,7 +114,7 @@ read the sections in order.