Compare commits

...

8 Commits

Author SHA1 Message Date
e39033004e increase escape precision 2023-01-12 17:48:32 +00:00
f1074102d1 do not escape inside literal blocks 2023-01-12 18:00:34 +01:00
53991d94ec fix the fix of fix 2023-01-12 17:33:18 +01:00
25e73185e2 fix pep issue 2023-01-12 16:58:47 +01:00
d06f1a3f7a fix a bit 2023-01-12 16:40:07 +01:00
0b46a1b9a7 Add very dirty DWS dev hacks 2023-01-12 16:22:08 +01:00
c241ca2e13 sync template 2023-01-12 14:26:05 +01:00
471514c654 Workaround bolds ending with space
when bold (or italic) ends with space RST is not happy. We drop this
trailing space and inject a space immediately after strong block
2023-01-12 14:15:45 +01:00
2 changed files with 58 additions and 35 deletions

File diff suppressed because it is too large Load Diff

View File

@ -94,6 +94,9 @@ html_title = "{{ title }}"
# so a file named "default.css" will overwrite the builtin "default.css". # so a file named "default.css" will overwrite the builtin "default.css".
html_static_path = ['_static'] html_static_path = ['_static']
# Do not include sources into the rendered results
html_copy_source = False
# -- Options for PDF output -------------------------------------------------- # -- Options for PDF output --------------------------------------------------
latex_documents = [ latex_documents = [
{%- if pdf_name is defined %} {%- if pdf_name is defined %}