diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-10-19 14:31:12 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-19 14:35:40 -0700 |
commit | f564b1ab8e6c8fe27c928fca6da7334fc6f69aa9 (patch) | |
tree | 2cef0015e3c15f6ad998871ffba2622b72c6aa06 /tools/makespec.py | |
parent | 21fe6105bbfa2012899b4f68fa208793d6f35b1f (diff) |
Use 'display:inline-block' rather than floats for side-by-side.
This works when printed too.
Diffstat (limited to 'tools/makespec.py')
-rwxr-xr-x | tools/makespec.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/makespec.py b/tools/makespec.py index 925f23c..aa75b35 100755 --- a/tools/makespec.py +++ b/tools/makespec.py @@ -70,16 +70,17 @@ with open('spec.txt', 'r', encoding='utf-8') as spec: mdlines.append("<div class=\"examplenum\"><a href=\"#example-{0}\">Example {0}</a>".format(example)) if specformat == "html": mdlines.append(" <a class=\"dingus\" title=\"open in interactive dingus\">(interact)</a>") - mdlines.append("</div>\n\n") + mdlines.append("</div>\n<div class=\"column\">\n\n") mdlines.append("````````````````````````````````````````````````````````` markdown\n") stage = 1 elif stage == 1: mdlines.append("`````````````````````````````````````````````````````````\n\n") + mdlines.append("\n</div>\n\n<div class=\"column\">\n\n") mdlines.append("````````````````````````````````````````````````````````` html\n") stage = 2 elif stage == 2: mdlines.append("`````````````````````````````````````````````````````````\n\n") - mdlines.append("</div>\n") + mdlines.append("</div>\n</div>\n") stage = 0 else: sys.stderr.out("Encountered unknown stage {0}\n".format(stage)) |