mirror of
https://github.com/php/web-php.git
synced 2026-03-23 23:02:13 +01:00
29 lines
747 B
CSS
29 lines
747 B
CSS
/* Changelog pages. */
|
|
h3 {
|
|
/* Fake the <hr> above headings that we used to have before rejigging the
|
|
* NEWS format. */
|
|
border-top: solid 0.2em #99C;
|
|
line-height: 2em;
|
|
margin-top: 1.5em;
|
|
padding-top: 1.25em;
|
|
}
|
|
|
|
hr + a[name] + h3 {
|
|
/* Remove the fake <hr> border if we actually have a <hr>. */
|
|
border-top: 0;
|
|
margin-top: 0;
|
|
padding-top: 0;
|
|
}
|
|
|
|
b {
|
|
/* Not entirely clear how <b> became the enclosing element for dates, but
|
|
* whatever. We'll use the same styling as dates in the news archive,
|
|
* except without the dotted border (since they're not actual <abbr>
|
|
* elements). */
|
|
color: #666;
|
|
display: inline-block;
|
|
font-size: 0.75em;
|
|
font-weight: normal;
|
|
line-height: 2;
|
|
}
|