[devhub] CSS Tweaks to Devhub (via Bram)

RESOLVED FIXED

Status

Marketplace
Developer Pages
RESOLVED FIXED
6 years ago
6 years ago

People

(Reporter: ednapiranha, Assigned: ednapiranha)

Tracking

x86
Mac OS X
Points:
---

Details

(URL)

(Assignee)

Description

6 years ago
#document-navigation ol li {
font-size: 13px; /* increase */
line-height: 1.5em; /* increase */
}

#document-navigation ol a {
color: #333; /* remove this bit to make links colored like links */
}

#document-navigation ul li > h2 {
color: #666; /* remove this bit to make headings colored like the
rest of the text */
font-size: 20px; /* increase */
line-height: 1.5em; /* increase */
}

#page article {
font-size: 14px; /* increase */
line-height: 1.5em; /* increase */
}

#page h2 {
font: 300 22px; /* increase font-size. the rest of the line stays the same */
}

#page article h2, #page article h3, #page article dt {
color: #666; /* remove this bit to darken the heading */
margin: 1em 0 0; /* tighten line-spacing */
}

p, pre {
margin: 0.75em 0; /* tighten line-spacing */
}

#document-navigation ol a:hover, #document-navigation ol a.selected {
background-color: #fff; /* lighten */
}
(Assignee)

Updated

6 years ago
Blocks: 804376
(Assignee)

Comment 1

6 years ago
merged in https://github.com/mozilla/zamboni/commit/ccf7e631047cf0066981324c1cf3d355f2a78668
Status: NEW → RESOLVED
Last Resolved: 6 years ago
Resolution: --- → FIXED
You need to log in before you can comment on or make changes to this bug.