Drop CSS we're not using to make things smaller
Change-Id: I004c14c6a631dbec7c1d0b6c9ffbbb40316f20a5
diff --git a/visualisation/visualisation.py b/visualisation/visualisation.py
index 056b2ca..8418135 100644
--- a/visualisation/visualisation.py
+++ b/visualisation/visualisation.py
@@ -228,24 +228,7 @@
page.append(' height:100%;')
page.append('}')
page.append('')
- page.append('.footer {')
- page.append(' vertical-align: bottom;')
- page.append(' text-align: left;')
- page.append('}')
- page.append('')
- page.append('.caption {')
- page.append(' padding-top: 1px;')
- page.append(' padding-left: 10%;')
- page.append(' padding-right: 10%;')
- page.append(' font-size: 8pt;')
- page.append(' font-style: italic;')
- page.append(' text-align: center;')
- page.append('}')
- page.append('td.headline {')
- page.append(' font-family: arial, Helvetica, sans-serif;')
- page.append(' font-size: 20pt;')
- page.append('}')
- page.append('h1,h2,h3,h4,h5 {')
+ page.append('h1,h2,h3 {')
page.append(' font-family: arial, Helvetica, sans-serif;')
page.append(' padding-right:3pt;')
page.append(' padding-top:2pt;')
@@ -260,27 +243,8 @@
page.append('h1 { font-size: 18pt; }')
page.append('h2 { font-size: 14pt; }')
page.append('h3 { font-size: 12pt; }')
- page.append('h4 { font-size: 10pt; }')
- page.append('h5 { font-size: 8pt; }')
page.append('dl,ul { margin-top: 1pt; text-indent: 0 }')
page.append('ol { margin-top: 1pt; text-indent: 0 }')
- page.append('')
- page.append('tt,pre {')
- page.append(' font-family: Lucida Console,Courier New,Courier,monotype;')
- page.append(' font-size: 10pt;')
- page.append('}')
- page.append('pre.code {')
- page.append(' font-family: Lucida Console,Courier New,Courier,monotype;')
- page.append(' margin-top: 8pt;')
- page.append(' margin-bottom: 8pt;')
- page.append(' background-color: #FFFFEE;')
- page.append(' white-space:pre;')
- page.append(' border-style:solid;')
- page.append(' border-width:1pt;')
- page.append(' border-color:#999999;')
- page.append(' color:#111111;')
- page.append(' padding:5px;')
- page.append('}')
page.append('div.date { font-size: 8pt; }')
page.append('div.sig { font-size: 8pt; }')
page.append('map { ')