summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBart Polot <bart@net.in.tum.de>2014-02-19 20:02:23 +0000
committerBart Polot <bart@net.in.tum.de>2014-02-19 20:02:23 +0000
commit1ca6128d352a36661cc868eededbf2ea107de5a3 (patch)
tree90852481696706b50b9c7cd763638e32a82091b0
parent156858c2dc95769cf5c47b0873f0bb4be67b3f1f (diff)
- do not mark <pre> background
-rw-r--r--contrib/log.php1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/log.php b/contrib/log.php
index 8b7f2cc59..2a4122105 100644
--- a/contrib/log.php
+++ b/contrib/log.php
@@ -134,6 +134,7 @@ if ($start !== null || $stop !== null) {
padding: 0px;
margin: 0px;
border: 0px;
+ background-color: transparent;
}
.alert {
display: none;