aboutsummaryrefslogtreecommitdiffstats
path: root/lib/common_test/priv
diff options
context:
space:
mode:
authorPeter Andersson <[email protected]>2011-11-14 17:02:22 +0100
committerPeter Andersson <[email protected]>2011-11-14 17:02:22 +0100
commitbe0c9a73c891a8d12a249abf558770f540f316e9 (patch)
tree3a43efe972c55b451d39781c3f797abc4e61453c /lib/common_test/priv
parent2cacf6885cafa276985324924a038618b0bb10fd (diff)
downloadotp-be0c9a73c891a8d12a249abf558770f540f316e9.tar.gz
otp-be0c9a73c891a8d12a249abf558770f540f316e9.tar.bz2
otp-be0c9a73c891a8d12a249abf558770f540f316e9.zip
Copy default CSS file to log directory before test run
The log files should be independent of the Common Test installation.
Diffstat (limited to 'lib/common_test/priv')
-rw-r--r--lib/common_test/priv/ct_default.css25
1 files changed, 13 insertions, 12 deletions
diff --git a/lib/common_test/priv/ct_default.css b/lib/common_test/priv/ct_default.css
index 94baf1f6f9..a64e1ec576 100644
--- a/lib/common_test/priv/ct_default.css
+++ b/lib/common_test/priv/ct_default.css
@@ -16,25 +16,25 @@ a:visited {
h1 {
font-family: verdana, arial, sans-serif; font-size: 200%;
- letter-spacing: -2.5px; word-spacing: 2px; font-weight: bold;
+ letter-spacing: -2px; word-spacing: 2px; font-weight: bold;
color: #3F3F3F;
}
h2 {
font-family: verdana, arial, sans-serif; font-size: 175%;
- letter-spacing: -2.5px; word-spacing: 2px; font-weight: normal;
+ letter-spacing: -2px; word-spacing: 2px; font-weight: normal;
color: #3F3F3F;
}
h3 {
font-family: verdana, arial, sans-serif; font-size: 140%;
- letter-spacing: -2.5px; word-spacing: 2px; font-weight: bold;
+ letter-spacing: -2px; word-spacing: 2px; font-weight: bold;
color: #3F3F3F;
}
h4 {
font-family: verdana, arial, sans-serif; font-size: 120%;
- letter-spacing: -2.5px; word-spacing: 2px; font-weight: normal;
+ letter-spacing: -2px; word-spacing: 2px; font-weight: normal;
color: #3F3F3F;
}
@@ -49,9 +49,8 @@ ul {
margin: 1em;
}
li {
- font-family: "Trebuchet MS", "Lucida Sans Unicode", verdana, arial, sans-serif;
- font-size: .9em; color: #000000;
- margin: .4em 0;
+ font-size: 0.95em; color: #000000;
+ margin: .3em 0;
}
pre {
@@ -67,31 +66,33 @@ code {
}
div.mono_sm {
- font-family: "Courier New", monospace; font-size: 80%;
+ font-family: "Courier New", monospace; font-size: .75em;
word-spacing: 1px; color: #000000;
}
div.mono_la {
- font-family: "Courier New", monospace; font-size: 100%;
+ font-family: "Courier New", monospace; font-size: .8em;
color: #000000;
}
div.copyright {
padding: 20px 0px 0px 0px;
- font-family: "Courier New", monospace; font-size: 80%;
+ font-family: "Courier New", monospace; font-size: .7em;
color: #000000;
}
div.ct_internal {
background: lightgrey; color: black;
font-family: "Monaco", "Andale Mono", "Consolas", monospace;
- font-size: 90%;
+ font-size: .95em;
+ margin: .2em 0 0 0;
}
div.default {
background: lightgreen; color: black;
font-family: "Monaco", "Andale Mono", "Consolas", monospace;
- font-size: 90%;
+ font-size: 1.05em;
+ margin: .2em 0 0 0;
}
div.label {