diff --git a/src/css/theme/source/inrae.scss b/src/css/theme/source/inrae.scss index d7f9a6f3359d891c202e76424b79b76eb08fb3ff..58b4bbcc9a7ad1f43cd48fe546404fc2cb7f3326 100644 --- a/src/css/theme/source/inrae.scss +++ b/src/css/theme/source/inrae.scss @@ -54,9 +54,24 @@ $heading4Size: 1em; div.sourceCode { margin: 0 !important; + } + + code { + font-size: 80%; + background: #00a3a610; + } + + pre { + background: #00a3a610; + border: solid 1px #00a3a6; + padding: 5px; + border-radius: 10px; + font-size: inherit; + margin: 0; + box-shadow: none; - pre { - margin: 10px; + code { + background: none; } } }