diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css index 8536a4adaa..ac64c87694 100644 --- a/docs/assets/css/docs.css +++ b/docs/assets/css/docs.css @@ -185,16 +185,19 @@ section > ul li { /* Tweak display of the examples */ .bs-docs-example + .prettyprint { margin-top: 0; + border-top-left-radius: 0; + border-top-right-radius: 0; } .prettyprint .linenums { - margin-left: 0; + /*margin-left: 0;*/ } /* Tweak content of examples for optimum awesome */ .bs-docs-example > p:last-child, .bs-docs-example > ul:last-child, .bs-docs-example > ol:last-child, -.bs-docs-example > blockquote:last-child { +.bs-docs-example > blockquote:last-child, +.bs-docs-example > .table:last-child { margin-bottom: 0; } diff --git a/docs/assets/js/google-code-prettify/prettify.css b/docs/assets/js/google-code-prettify/prettify.css index d437aff62b..7d84066548 100644 --- a/docs/assets/js/google-code-prettify/prettify.css +++ b/docs/assets/js/google-code-prettify/prettify.css @@ -20,7 +20,7 @@ /* Specify class=linenums on a pre to get line numbering */ ol.linenums { - margin: 0 0 0 33px; /* IE indents via margin-left */ + margin: 0 0 0 40px; /* IE indents via margin-left */ } ol.linenums li { padding-left: 12px;