# HG changeset patch # User Paul Boddie # Date 1543266441 -3600 # Node ID df715800fca4f10b4429be0635f6a8c5c97ae575 # Parent 84d3c5cd9f8f1a99d69eed6da0bc48ff63dc553f Renamed the default theme stylesheet, changing the stylesheet naming scheme. diff -r 84d3c5cd9f8f -r df715800fca4 moinformat/themes/default/css/all.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/moinformat/themes/default/css/all.css Mon Nov 26 22:07:21 2018 +0100 @@ -0,0 +1,9 @@ +table { + border-collapse: collapse; + margin: 0.5em 0 0.5em 0; +} + +table td { + border: 1px solid #000; + padding: 0.5em; +} diff -r 84d3c5cd9f8f -r df715800fca4 moinformat/themes/default/css/common.css --- a/moinformat/themes/default/css/common.css Mon Nov 26 22:05:34 2018 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -table { - border-collapse: collapse; - margin: 0.5em 0 0.5em 0; -} - -table td { - border: 1px solid #000; - padding: 0.5em; -} diff -r 84d3c5cd9f8f -r df715800fca4 moinformat/themes/html.py --- a/moinformat/themes/html.py Mon Nov 26 22:05:34 2018 +0100 +++ b/moinformat/themes/html.py Mon Nov 26 22:07:21 2018 +0100 @@ -44,15 +44,16 @@ # Only link to CSS files. - if splitext(filename)[-1] != ".css": + basename, ext = splitext(filename) + if ext != ".css": continue - # Filenames can have the form _.css to set the media - # type. + # Filenames can have the form .css or -.css to + # set the media type. - t = filename.split("_") + t = basename.split("-", 1) - d["media"] = len(t) > 1 and t[0] or "all" + d["media"] = t[0] or "all" d["filename"] = filename links.append(self.link % d)