[Commits] [wesnoth/wesnoth] 1ff17d: html.py, style.css: use <pre> with no top-margin on...

[GitHub]

  Branch: refs/heads/1.12
  Home:   https://github.com/wesnoth/wesnoth
  Commit: 1ff17d1d9b390549d809d0c954e3160cf811d4ef
      https://github.com/wesnoth/wesnoth/commit/1ff17d1d9b390549d809d0c954e3160cf811d4ef
  Author: Groggy Dice <groggydice at yahoo.com>
  Date:   2014-05-07 (Wed, 07 May 2014)

  Changed paths:
    M data/tools/addon_manager/html.py
    M data/tools/addon_manager/style.css

  Log Message:
  -----------
  html.py,style.css: use <pre> with no top-margin on all descriptions

After my last change dealing with this issue, I noticed that descriptions
with <pre> had an extra blank line at the top. Adding top-margin to the
CSS file made this go away, but it also made the <br/> superfluous. Thus,
it is simpler just to have every description use <pre> instead of <br/>.

This should finally resolve everything having to do with the add-on
descriptions.

If I'd noticed that the re module hadn't been imported, I probably wouldn't
have considered URL linking to be important enough to do so. Since I've
already written the code, however, I'll keep it.