Changeset 312:3195288a6e49
- Timestamp:
- 2007-09-01 21:13:26
(1 year ago)
- Author:
- Stefan Schwarzer <sschwarzer@sschwarzer.net>
- branch:
- default
- Message:
Use navigation text even if it can't be clicked. This has the
advantage that the series of text is always the same so a text can be
clicked based on its position without reading the actual text.
-
Files:
-
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
| r311 |
r312 |
|
| 135 | 135 | links.append('<a href="#%s">%s</a>' % |
|---|
| 136 | 136 | (anchor, text)) |
|---|
| | 137 | else: |
|---|
| | 138 | links.append(text) |
|---|
| 137 | 139 | return '<span class="DirLinks"> ' + " ".join(links) + '</span>' |
|---|
| 138 | 140 | |
|---|
| r311 |
r312 |
|
| 14 | 14 | padding-left: 3px; padding-right: 3px; } |
|---|
| 15 | 15 | span.Indent { color: #b0b0b0; font-size: 10px; } |
|---|
| 16 | | span.DirLinks a { color: #b0b0b0; } |
|---|
| | 16 | span.DirLinks { color: #b0b0b0; } |
|---|
| | 17 | span.DirLinks a { color: black; } |
|---|
| 17 | 18 | table { margin-top: 0px; padding-top: 0px; margin-bottom: 1em; } |
|---|
| 18 | 19 | body, .Main, table { font-size: 12px; } |
|---|
