Changeset 305:63c45633a108
- Timestamp:
- 2007-09-01 15:30:05 (1 year ago)
- Files:
-
- converter.py (modified) (1 diff)
- websourcebrowser.css (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
converter.py
r304 r305 254 254 else: 255 255 suffix = "" 256 parent = cgi.escape( 257 urllib.unquote( 258 urlpath.to_url(config.root, 259 coding.decode(os.path.dirname(item))) 260 ) 261 ) 262 if parent == "/": 263 parent = "" 264 else: 265 parent = ' <span class="Parent">in %s</span>' % parent 266 # combine HTML parts 267 add_html(u'<tr><td>%s%s%s%s</td></tr>' % 268 (spacing, link, suffix, parent)) 269 # add_html(u'<tr><td>%s%s%s</td></tr>' % (spacing, link, suffix)) 256 add_html(u'<tr><td>%s%s%s</td></tr>' % (spacing, link, suffix)) 270 257 add_html(u'</table>') 271 258 return u"\n".join(html_parts) websourcebrowser.css
r304 r305 14 14 padding-left: 3px; padding-right: 3px; } 15 15 span.Indent { color: #b0b0b0; font-size: 10px; } 16 span.Parent { color: #b0b0b0; }17 16 table { margin-top: 0px; padding-top: 0px; margin-bottom: 1em; } 18 17 body, .Main, table { font-size: 12px; }