equal
deleted
inserted
replaced
83 font-weight: normal; |
83 font-weight: normal; |
84 margin-left: .5em; |
84 margin-left: .5em; |
85 vertical-align: text-baseline; |
85 vertical-align: text-baseline; |
86 } |
86 } |
87 |
87 |
88 .navigate a { |
|
89 #padding: 2pt; |
|
90 #background-color: #f5f5f5; |
|
91 } |
|
92 |
|
93 /* Common */ |
88 /* Common */ |
94 pre { margin: 0; } |
89 pre { margin: 0; } |
95 |
90 |
96 h2 { font-size: 120%; border-bottom: 1px solid #999; } |
91 h2 { font-size: 120%; border-bottom: 1px solid #999; } |
97 h3 { |
92 h3 { |
126 .bigtable .node { width: 5em; font-family: monospace;} |
121 .bigtable .node { width: 5em; font-family: monospace;} |
127 .bigtable .lineno { width: 2em; text-align: right;} |
122 .bigtable .lineno { width: 2em; text-align: right;} |
128 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;} |
123 .bigtable .lineno a { color: #999; font-size: smaller; font-family: monospace;} |
129 .bigtable td.source { font-family: monospace; white-space: pre; } |
124 .bigtable td.source { font-family: monospace; white-space: pre; } |
130 .bigtable .permissions { width: 8em; text-align: left;} |
125 .bigtable .permissions { width: 8em; text-align: left;} |
131 .bigtable td.permissions { font-family: monospace; } |
|
132 .bigtable .date { width: 10em; text-align: left;} |
|
133 .bigtable .size { width: 5em; text-align: right; } |
126 .bigtable .size { width: 5em; text-align: right; } |
134 .bigtable td.size { font-family: monospace; } |
|
135 .bigtable .annotate { text-align: right; padding-right: } |
127 .bigtable .annotate { text-align: right; padding-right: } |
136 .bigtable td.annotate { font-size: smaller; } |
128 .bigtable td.annotate { font-size: smaller; } |
|
129 |
|
130 .fileline { font-family: monospace; } |
137 |
131 |
138 /* Changeset entry */ |
132 /* Changeset entry */ |
139 #changesetEntry { |
133 #changesetEntry { |
140 border-collapse: collapse; |
134 border-collapse: collapse; |
141 font-size: 90%; |
135 font-size: 90%; |