Move space out of <strong> node for better text rendering

develop
lethosor 2022-08-08 02:19:07 -04:00
parent 1e7ce2602e
commit 6e29ddf2d3
No known key found for this signature in database
GPG Key ID: 76A269552F4F58C1
1 changed files with 3 additions and 2 deletions

@ -97,7 +97,8 @@ class DFHackToolDirectiveBase(sphinx.directives.ObjectDescription):
@staticmethod @staticmethod
def make_labeled_paragraph(label, content, label_class=nodes.strong, content_class=nodes.inline) -> nodes.paragraph: def make_labeled_paragraph(label, content, label_class=nodes.strong, content_class=nodes.inline) -> nodes.paragraph:
return nodes.paragraph('', '', *[ return nodes.paragraph('', '', *[
label_class('', '{}: '.format(label)), label_class('', '{}:'.format(label)),
nodes.inline(text=' '),
content_class('', content), content_class('', content),
]) ])
@ -119,7 +120,7 @@ class DFHackToolDirective(DFHackToolDirectiveBase):
} }
def render_content(self) -> List[nodes.Node]: def render_content(self) -> List[nodes.Node]:
tag_nodes = [nodes.strong(text='Tags: ')] tag_nodes = [nodes.strong(text='Tags:'), nodes.inline(text=' ')]
for tag in self.options.get('tags', []): for tag in self.options.get('tags', []):
tag_nodes += [ tag_nodes += [
addnodes.pending_xref(tag, nodes.inline(text=tag), **{ addnodes.pending_xref(tag, nodes.inline(text=tag), **{