Mercurial Repositories > eric / file comparison
comparison: Helpviewer/HTMLResources.py
Helpviewer/HTMLResources.py
- changeset 256
- 04083f42042d
- parent 13
- 1af94a91f439
- child 262
- f983acadf76c
equal
deleted
inserted
replaced
| 255:eb0ffc3f12a2 | 256:04083f42042d |
|---|---|
| 10 notFoundPage_html = """\ | 10 notFoundPage_html = """\ |
| 11 <html> | 11 <html> |
| 12 <head> | 12 <head> |
| 13 <title>{0}</title> | 13 <title>{0}</title> |
| 14 <style> | 14 <style> |
| 15 body { | 15 body {{ |
| 16 padding: 3em 0em; | 16 padding: 3em 0em; |
| 17 background: #eeeeee; | 17 background: #eeeeee; |
| 18 } | 18 }} |
| 19 hr { | 19 hr {{ |
| 20 color: lightgray; | 20 color: lightgray; |
| 21 width: 100%; | 21 width: 100%; |
| 22 } | 22 }} |
| 23 img { | 23 img {{ |
| 24 float: left; | 24 float: left; |
| 25 opacity: .8; | 25 opacity: .8; |
| 26 } | 26 }} |
| 27 #box { | 27 #box {{ |
| 28 background: white; | 28 background: white; |
| 29 border: 1px solid lightgray; | 29 border: 1px solid lightgray; |
| 30 width: 600px; | 30 width: 600px; |
| 31 padding: 60px; | 31 padding: 60px; |
| 32 margin: auto; | 32 margin: auto; |
| 33 } | 33 }} |
| 34 h1 { | 34 h1 {{ |
| 35 font-size: 130%; | 35 font-size: 130%; |
| 36 font-weight: bold; | 36 font-weight: bold; |
| 37 border-bottom: 1px solid lightgray; | 37 border-bottom: 1px solid lightgray; |
| 38 margin-left: 48px; | 38 margin-left: 48px; |
| 39 } | 39 }} |
| 40 h2 { | 40 h2 {{ |
| 41 font-size: 100%; | 41 font-size: 100%; |
| 42 font-weight: normal; | 42 font-weight: normal; |
| 43 border-bottom: 1px solid lightgray; | 43 border-bottom: 1px solid lightgray; |
| 44 margin-left: 48px; | 44 margin-left: 48px; |
| 45 } | 45 }} |
| 46 ul { | 46 ul {{ |
| 47 font-size: 80%; | 47 font-size: 100%; |
| 48 padding-left: 48px; | 48 padding-left: 48px; |
| 49 margin: 5px 0; | 49 margin: 5px 0; |
| 50 } | 50 }} |
| 51 #reloadButton { | 51 #reloadButton {{ |
| 52 padding-left: 48px; | 52 padding-left: 48px; |
| 53 } | 53 }} |
| 54 </style> | 54 </style> |
| 55 </head> | 55 </head> |
| 56 <body> | 56 <body> |
| 57 <div id="box"> | 57 <div id="box"> |
| 58 <img src="data:image/png;base64,IMAGE_BINARY_DATA_HERE" width="32" height="32"/> | 58 <img src="data:image/png;base64,IMAGE_BINARY_DATA_HERE" width="32" height="32"/> |
