From 86839a92695c0da2bb006dc5ff3b3f76c708a71c Mon Sep 17 00:00:00 2001 From: Jiri Kalvoda Date: Mon, 18 Mar 2024 21:12:16 +0100 Subject: [PATCH] HTML: SmallCaps --- src/formatitko/html_generator.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/formatitko/html_generator.py b/src/formatitko/html_generator.py index f4d2e5d..7a5e6e3 100644 --- a/src/formatitko/html_generator.py +++ b/src/formatitko/html_generator.py @@ -344,6 +344,9 @@ class HTMLGenerator(OutputGenerator): def generate_DefinitionList(self, e: DefinitionList): self.writeln("") + def generate_SmallCaps(self, e: SmallCaps): + self.generate_simple_tag(e, attributes=self.common_attributes(e) | {"style": "font-variant: small-caps;"}) + class StandaloneHTMLGenerator(HTMLGenerator): def generate_Doc(self, e: Doc):