summaryrefslogtreecommitdiffstats
path: root/doc/global
diff options
context:
space:
mode:
authorOswald Buddenhagen <oswald.buddenhagen@theqtcompany.com>2016-03-07 16:53:34 +0100
committerOswald Buddenhagen <oswald.buddenhagen@theqtcompany.com>2016-03-07 17:08:56 +0100
commitf93032848e6b090b671d0035557a32bed65d2b4e (patch)
tree8cb6a0705c19d3cc6002f70ed5dddd0dd7adcab9 /doc/global
parentbcd88d8e9984bff664740aae3cff708a069dbbdd (diff)
parentd0cdc7ad1e2728caf363abf328b2ad81f2ed5a5b (diff)
Merge remote-tracking branch 'origin/5.6.0' into 5.7v5.7.0-alpha1
Diffstat (limited to 'doc/global')
-rw-r--r--doc/global/template/style/offline-simple.css18
1 files changed, 9 insertions, 9 deletions
diff --git a/doc/global/template/style/offline-simple.css b/doc/global/template/style/offline-simple.css
index b11cb6a137..5d8ce5c37f 100644
--- a/doc/global/template/style/offline-simple.css
+++ b/doc/global/template/style/offline-simple.css
@@ -1,11 +1,11 @@
body {
- font-size: 14px;
+ font-size: 10.5pt;
}
pre {
background-color: #f0f0f0;
font-family: Courier, monospace;
- font-size: 15px;
+ font-size: 11pt;
font-weight: 600;
vertical-align: top;
margin: 15px 85px 15px 35px;
@@ -41,7 +41,7 @@ a[href|="http://"], a[href|="https://"] {
h1.title {
margin-top: 30px;
margin-left: 6px;
- font-size: 32px;
+ font-size: 24pt;
padding: 6px;
}
@@ -52,7 +52,7 @@ h2, p.h2 {
}
h3 {
- font-size: 16px;
+ font-size: 12pt;
margin: 30px 0px 30px 6px;
}
@@ -82,7 +82,7 @@ h3.fn, span.fn {
padding: 5px;
text-decoration: none;
font-weight: 400;
- font-size: 16px;
+ font-size: 12pt;
margin: 45px 0px 0px 6px;
}
@@ -107,7 +107,7 @@ table tr.odd {
table.qmlname td {
padding: 0px;
margin-left: 6px;
- font-size: 16px;
+ font-size: 12pt;
}
table.qmlname p .name,
@@ -125,12 +125,12 @@ h3.fn .name, h3.fn .type {
}
tr > td > pre {
- font-size: 14px;
+ font-size: 10.5pt;
}
code {
font-family: Courier, monospace;
- font-size: 16px;
+ font-size: 12pt;
font-weight: 400;
}
@@ -167,7 +167,7 @@ td#buildversion {
.footer, .footer p {
padding: 5px 0px 5px 0px;
margin: 45px 15px 5px 15px;
- font-size: 10px;
+ font-size: 7.5pt;
background-color: #cccccc;
}