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'), |
) | |