Fossil

Check-in [825efe96d2]
Login

Check-in [825efe96d2]

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Merged two redundant style rules for sidebars. Manual merge error?
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 825efe96d25864cebc92adbdbffe6b8333fadfdffc29afd5787cfbbec4a0f764
User & Date: wyoung 2024-02-18 15:46:21.560
Context
2024-02-18
15:56
Further improvements to pre styling, now taking MD forum posts into account. ... (check-in: 77f9162010 user: wyoung tags: trunk)
15:46
Merged two redundant style rules for sidebars. Manual merge error? ... (check-in: 825efe96d2 user: wyoung tags: trunk)
15:35
Removed horizontal rules in backup doc used to offset the bigger code blocks. Between the new light-gray background and the indents, they're adding noise more than helping break the page up. ... (check-in: 6b520900c9 user: wyoung tags: trunk)
Changes
Unified Diff Ignore Whitespace Patch
Changes to src/default.css.
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
/* Generic sidebar styling inherited by skins that don't make their own
 * arrangements. */
.markdown blockquote, p.blockquote, .sidebar {
  background-color: rgba(0, 0, 0, 0.05);
  border-left: 3px solid #777;
  padding: 0.1em 1em;
}
.sidebar {
  font-size: 90%;
}
.sidebar {
  /* Generic form that can be applied to any block element. */
  font-size: 0.9em;
}
div.sidebar {
  /* Special exception for div-type sidebars, where there is no p
   * wrapper inside to give us the extra padding we want. */
  padding: 1em;
}
div.sidebar:not(.no-label):before {








<
<
<

|







1537
1538
1539
1540
1541
1542
1543
1544



1545
1546
1547
1548
1549
1550
1551
1552
1553
/* Generic sidebar styling inherited by skins that don't make their own
 * arrangements. */
.markdown blockquote, p.blockquote, .sidebar {
  background-color: rgba(0, 0, 0, 0.05);
  border-left: 3px solid #777;
  padding: 0.1em 1em;
}
.sidebar {



  /* Generic form that can be applied to any block element. */
  font-size: 90%;
}
div.sidebar {
  /* Special exception for div-type sidebars, where there is no p
   * wrapper inside to give us the extra padding we want. */
  padding: 1em;
}
div.sidebar:not(.no-label):before {