diff --git a/scripts/geocode.py b/scripts/geocode.py index 2df0cb53..fe69e06b 100755 --- a/scripts/geocode.py +++ b/scripts/geocode.py @@ -172,16 +172,12 @@ def writeToDevmap(): descr = changelog_contributions(all_names) + [d.strip() for d in descr.split(r';')] - first = True for d in descr: - if not first: - td.appendChild(devmap.createElement("br")) - else: - first = False # since there are tags in the string, we parse it d = d.replace("<", "<").replace(">", ">") d_el = parseString("%s" % d) td.appendChild(d_el.firstChild) + td.appendChild(devmap.createElement("br")) if main_trac and not github: github = convert_trac_username(main_trac) diff --git a/src/res/sage.css b/src/res/sage.css index ac40dd65..b7ecf6f8 100755 --- a/src/res/sage.css +++ b/src/res/sage.css @@ -683,7 +683,6 @@ div.mdesc ul { .github, .trac { text-align: left; - display: block; font-style: italic; font-size: 90%; }