From 40a243deffc0944686f918fb69ffd793abfbdc43 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Fri, 27 Aug 2021 18:22:19 +0200 Subject: [PATCH] theme: adjust code print styles #35 --- static/css/theme.css | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/static/css/theme.css b/static/css/theme.css index d8e77cf1828..b82acb68999 100644 --- a/static/css/theme.css +++ b/static/css/theme.css @@ -608,12 +608,24 @@ code.copy-to-clipboard-inline { border-top-right-radius: 0; border-right-width: 0; } +@media print { + code.copy-to-clipboard-inline { + border-bottom-right-radius: 2px; + border-top-right-radius: 2px; + border-right-width: 1px; + } +} pre { padding: 1rem; border: 0; border-radius: 2px; line-height: 1.15; } +@media print { + pre { + border: 1px solid #ccc; + } +} pre code { background-color: inherit; color: inherit; @@ -1045,6 +1057,11 @@ td { font-size: 92%; padding-left: 22px; } +@media print { + .copy-to-clipboard { + display: none; + } +} .copy-to-clipboard:hover { background-color: #FCEBB4; border-color: #B19F7A;