copied code styling from duepuntozero to quattro theme

diff --git a/view/theme/quattro/quattro.less b/view/theme/quattro/quattro.less
index 5a7780a4c6185e459169c97a9fc74d7e334a5a3c..2e61b91829fd8a0f0038f3f3c696e182f5c73e2d 100644 (file)
--- 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 7a7a5fb63042e6575196a31e95414fd0dd2d019f..6de9800af408532465dab652152305ebae49980a 100644 (file)
--- 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;