From 06b904ffcbc5dd87c729850d5e4cb63f5ad384a7 Mon Sep 17 00:00:00 2001 From: Tobias Diekershoff Date: Tue, 6 Dec 2011 17:10:27 +0100 Subject: [PATCH] copied code styling from duepuntozero to quattro theme --- view/theme/quattro/quattro.less | 12 +++++++++++- view/theme/quattro/style.css | 11 +++++++++++ 2 files changed, 22 insertions(+), 1 deletion(-) diff --git a/view/theme/quattro/quattro.less b/view/theme/quattro/quattro.less index 5a7780a4c6..2e61b91829 100644 --- a/view/theme/quattro/quattro.less +++ b/view/theme/quattro/quattro.less @@ -41,7 +41,17 @@ a:hover {color: @LinkHover; text-decoration: underline; } .right { float: right; } .hidden { display: none; } - +code { + font-family: Courier, monospace; + white-space: pre; + display: block; + overflow: auto; + border: 1px solid #444; + background: #EEE; + color: #444; + padding: 10px; + margin-top: 20px; +} /* tool */ .tool { diff --git a/view/theme/quattro/style.css b/view/theme/quattro/style.css index 7a7a5fb630..6de9800af4 100644 --- a/view/theme/quattro/style.css +++ b/view/theme/quattro/style.css @@ -189,6 +189,17 @@ a:hover { .hidden { display: none; } +code { + font-family: Courier, monospace; + white-space: pre; + display: block; + overflow: auto; + border: 1px solid #444; + background: #EEE; + color: #444; + padding: 10px; + margin-top: 20px; +} /* tool */ .tool { height: auto;