diff options
| author | Steve McIntyre <steve.mcintyre@linaro.org> | 2015-10-30 18:24:20 +0000 |
|---|---|---|
| committer | Steve McIntyre <steve.mcintyre@linaro.org> | 2015-10-30 18:24:20 +0000 |
| commit | 8179f610f609054c762c7918964f13699de413b4 (patch) | |
| tree | 6b9202be8584e0c5716bea073b73b12becfdff2a | |
| parent | def2686c191da28d2d4efd9bfcd35d0150cab190 (diff) | |
Drop CSS we're not using to make things smaller
Change-Id: I004c14c6a631dbec7c1d0b6c9ffbbb40316f20a5
| -rw-r--r-- | visualisation/visualisation.py | 38 |
1 files changed, 1 insertions, 37 deletions
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 @@ class GetHandler(BaseHTTPRequestHandler): 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 @@ class GetHandler(BaseHTTPRequestHandler): 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 { ') |