diff --git a/dev/docs/styles.html b/dev/docs/styles.html index 1a9662b02a..a111a6eed7 100644 --- a/dev/docs/styles.html +++ b/dev/docs/styles.html @@ -128,6 +128,10 @@ li.inherited a { font-weight: 100; } + + /* Attempt to de-emphasise the source code section */ + section.summary.source-code { opacity: 0.3; } + section.summary.source-code:hover { opacity: 0.8; }