3
0
Fork 0

fix: use proper bulma styles for markdown content

cf. https://bulma.io/documentation/elements/content/
This commit is contained in:
Lance Edgar 2024-12-29 20:07:10 -06:00
parent 6515a0a224
commit 08a895a07b

View file

@ -1,19 +1,6 @@
## -*- coding: utf-8; -*- ## -*- coding: utf-8; -*-
<%inherit file="/master/view.mako" /> <%inherit file="/master/view.mako" />
<%def name="extra_styles()">
${parent.extra_styles()}
<style>
## TODO: should we do something like this site-wide?
## (so far this is the only place we use markdown)
.markdown p {
margin-bottom: 1.5rem;
}
</style>
</%def>
<%def name="tool_panels()"> <%def name="tool_panels()">
${parent.tool_panels()} ${parent.tool_panels()}
${self.tool_panel_execution()} ${self.tool_panel_execution()}
@ -65,7 +52,7 @@
<p class="block has-text-weight-bold"> <p class="block has-text-weight-bold">
What will happen when this batch is executed? What will happen when this batch is executed?
</p> </p>
<div class="markdown"> <div class="content">
${execution_described|n} ${execution_described|n}
</div> </div>
${h.form(master.get_action_url('execute', batch), ref='executeForm')} ${h.form(master.get_action_url('execute', batch), ref='executeForm')}