Fix dev-map css style

sagemath · Nov 30, 2024 · 9d84331 · 9d84331
1 parent 3de5fc0
commit 9d84331
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git 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("&lt;", "<").replace("&gt;", ">")
             d_el = parseString("<span>%s</span>" % 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
@@ -683,7 +683,6 @@ div.mdesc ul {
 .github,
 .trac {
     text-align: left;
-    display: block;
     font-style: italic;
     font-size: 90%;
 }