| 78 |
| 79 |
| 80 |
| 81 |
| 82 |
| 83 |
| 84 |
| 85 |
| 86 |
| 87 |
| 88 |
| 89 |
| 90 |
| 91 |
| 92 |
| 93 |
| 94 |
| 95 |
| 96 |
| 97 |
| 98 |
| 99 |
| 100 |
| 101 |
| 102 |
| 103 |
| 104 |
| 105 |
| 106 |
| 107 |
| 108 |
| 109 |
| 110 |
| 111 |
| 112 |
| 113 |
| 114 |
| 115 |
| 116 |
| 117 |
| 118 |
| 119 |
| 120 |
| 121 |
| 122 |
| 123 |
| 124 |
| 125 |
| 126 |
| 127 |
| 128 |
| 129 |
| 130 |
| 131 |
| 132 |
| 133 |
| 134 |
| 135 | |
def create_head(self): |
return html.head( |
-> html.title('source view'), |
html.style(""" |
body, td { |
background-color: #FFF; |
color: black; |
font-family: monospace, Monaco; |
} |
|
table, tr { |
margin: 0px; |
padding: 0px; |
border-width: 0px; |
} |
|
a { |
color: blue; |
font-weight: bold; |
text-decoration: none; |
} |
|
a:hover { |
color: #005; |
} |
|
.lineno { |
text-align: right; |
color: #555; |
width: 3em; |
padding-right: 1em; |
border: 0px solid black; |
border-right-width: 1px; |
} |
|
.code { |
padding-left: 1em; |
white-space: pre; |
} |
|
.comment { |
color: purple; |
} |
|
.string { |
color: #777; |
} |
|
.keyword { |
color: blue; |
} |
|
.alt_keyword { |
color: green; |
} |
|
""", type='text/css'), |
) | |