From d3b0945a02595dbb438ef13f48966902560f19e8 Mon Sep 17 00:00:00 2001
From: Jiri Kalvoda <jirikalvoda@kam.mff.cuni.cz>
Date: Tue, 7 May 2024 15:49:32 +0200
Subject: [PATCH] prace: box -> LineMarkup
---
prace/bakalarka/formatitko_commands.py | 16 ++++++++++++----
1 file changed, 12 insertions(+), 4 deletions(-)
diff --git a/prace/bakalarka/formatitko_commands.py b/prace/bakalarka/formatitko_commands.py
index 26cb10b86..a816c41e3 100644
--- a/prace/bakalarka/formatitko_commands.py
+++ b/prace/bakalarka/formatitko_commands.py
@@ -1,6 +1,6 @@
import panflute as pf
from formatitko.command_env import parse_string
-from formatitko.elements import Slanted
+from formatitko.elements import Slanted, FLineMarkup
formatitko_commands={}
def formatitko_command(f):
@@ -45,6 +45,14 @@ def box(element, context, processor):
'lemma': "Lemma",
'def': "Definice",
}[element.attributes["t"]]
+ color = {
+ 'fact': "red",
+ 'task': "orange",
+ 'algo': "brown",
+ 'theorem': "green",
+ 'lemma': "lightgreen",
+ 'def': "blue",
+ }.get(element.attributes["t"], "black")
out = []
intro = []
if 'name' in element.attributes:
@@ -56,12 +64,12 @@ def box(element, context, processor):
for e in content:
if not out:
if isinstance(e, pf.Para):
- out.append(pf.Para(intro, Slanted(*e.content)))
+ out.append(pf.Para(intro, *e.content))
else:
raise NotImplemented()
else:
- out += make_emph(e, wrap_class=Slanted)
- return out
+ out.append(e)
+ return [FLineMarkup(*out, color=color)]
@formatitko_command
def proof(element, context, processor):
--
GitLab