diff --git a/themes/doc-theme/static/css/doc-theme.css b/themes/doc-theme/static/css/doc-theme.css index 16176b6..79a1a4d 100644 --- a/themes/doc-theme/static/css/doc-theme.css +++ b/themes/doc-theme/static/css/doc-theme.css @@ -318,9 +318,11 @@ pre > code { margin-top: 4px; margin-bottom: 12px; } - +/* changes 23-07-2020: + removed padding here, added in vuetify.css + */ code { - padding: 1px; + /*padding: 1px;*/ background-color: #EEEEEE; } diff --git a/themes/doc-theme/static/css/vuetify.css b/themes/doc-theme/static/css/vuetify.css index 187be55..8f62c96 100644 --- a/themes/doc-theme/static/css/vuetify.css +++ b/themes/doc-theme/static/css/vuetify.css @@ -2758,9 +2758,15 @@ blockquote { border-radius: 3px; margin-bottom: 5px; } +/* changes 22-07-2020: +removed bottom margin from quoteblocks +*/ blockquote > p { margin-bottom:0px; } +/*changes 23-07-2020: + Added padding + */ code, kbd { display: inline-block; @@ -2768,6 +2774,7 @@ kbd { white-space: pre-wrap; font-size: 85%; font-weight: 900; + padding: 1px 4px 1px 4px; } /* changes 09-07-2020: