Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[JENKINS-69549] Margins for headers and paragraphs make descriptions … #7078

Merged
merged 9 commits into from
Dec 9, 2024
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
When enabled, Jenkins periodically sends information to the Jenkins project.
The Jenkins project uses this information to set development priorities.
</div>
<h1>General usage statistics</h1>
<h3>General usage statistics</h3>
<div>
<p>Jenkins reports the following general usage statistics:</p>
<ul>
Expand All @@ -21,7 +21,7 @@
These usage statistics are aggregated, updated monthly, and published to <a href="https://stats.jenkins.io">stats.jenkins.io</a>
</p>
</div>
<h1>Telemetry collection</h1>
<h3>Telemetry collection</h3>
<div>
<p>
In addition to the general usage statistics listed above, the Jenkins project collects telemetry data from specific trials to inform future development.
Expand Down
2 changes: 1 addition & 1 deletion war/src/main/less/base/style.less
Original file line number Diff line number Diff line change
Expand Up @@ -573,7 +573,7 @@ pre.console {
}

p:last-of-type {
margin-bottom: 0;
margin-bottom: 10px;
NotMyFault marked this conversation as resolved.
Show resolved Hide resolved
}
}

Expand Down
4 changes: 2 additions & 2 deletions war/src/main/less/base/typography.less
Original file line number Diff line number Diff line change
Expand Up @@ -51,8 +51,8 @@ h6,
line-height: var(--line-height-heading);
font-weight: bold;
display: block;
margin-top: 0;
margin-bottom: var(--section-padding);
margin-top: var(--section-padding);
margin-bottom: calc(var(--section-padding) / 2);
}

h1,
Expand Down