minor doxygen tweaks

This commit is contained in:
Mark Gillard 2020-04-05 15:11:21 +03:00
parent 16911e5413
commit 3f04e12b53
2 changed files with 34 additions and 5 deletions

View File

@ -192,13 +192,37 @@ pre.m-code + pre.m-console span
/* github badges (index.html) */
.gh-badges
{
padding-bottom: 0.75rem;
padding-bottom: 0.25rem;
margin-left: -0.9rem;
margin-right: -0.9rem;
margin-top: -0.5rem;
}
.gh-badges a
@media screen and (min-width: 992px)
{
margin-right: 0.3rem;
.gh-badges
{
display: flex;
justify-content: space-between;
}
.gh-badges br
{
display: none;
}
}
@media screen and (max-width: 991px)
{
.gh-badges
{
text-align: center;
line-height: 1.75rem;
}
.gh-badges a
{
margin-left: 0.2rem;
margin-right: 0.2rem;
margin-bottom: 0.4rem;
}
}
/* page category subheading ("module" etc) */
@ -215,5 +239,6 @@ main > article > .m-container.m-container-inflatable > .m-row > div.m-col-l-10.m
border-width: 0.1rem;
margin-left: -1rem;
margin-right: -1rem;
margin-top: -1.75rem;
max-width: calc(100% + 2rem);
}

View File

@ -477,6 +477,7 @@ class IndexPageFix(object):
'badge-TOML.svg',
'https://github.com/toml-lang/toml/blob/master/README.md'
),
(None, None, None), # <br>
(
'MIT License',
'badge-license-MIT.svg',
@ -503,8 +504,11 @@ class IndexPageFix(object):
parent('h1')[0].replace_with(banner)
parent = doc.new_tag('div', class_='gh-badges', after=banner)
for (alt, src, href) in self.__badges:
anchor = doc.new_tag('a', parent=parent, href=href, target='_blank')
doc.new_tag('img', parent=anchor, src=src, alt=alt)
if alt is None and src is None and href is None:
doc.new_tag('br', parent=parent)
else:
anchor = doc.new_tag('a', parent=parent, href=href, target='_blank')
doc.new_tag('img', parent=anchor, src=src, alt=alt)
return True