b,
strong {
- font-weight: $font-weight-bolder; // Add the correct font weight in Chrome, Edge, and Safari
+ font-weight: $font-weight-bold/*er*/; // Add the correct font weight in Chrome, Edge, and Safari
}
small {
ol(start=first + 1) {
for (let i = 0; i < search.results.length; ++i) {
let page = search.results[i].auxiliary
- li {
+ li.mb-3 {
a(href=page) {`${await breadcrumbs_str(page)}`}
br {}
- p {_out.push(search.results[i].summary)} // note: contains HTML
+ _out.push(search.results[i].summary) // note: contains HTML
}
}
}