1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/moinformat/themes/default/css/all.css Mon Nov 26 22:07:21 2018 +0100
1.3 @@ -0,0 +1,9 @@
1.4 +table {
1.5 + border-collapse: collapse;
1.6 + margin: 0.5em 0 0.5em 0;
1.7 +}
1.8 +
1.9 +table td {
1.10 + border: 1px solid #000;
1.11 + padding: 0.5em;
1.12 +}
2.1 --- a/moinformat/themes/default/css/common.css Mon Nov 26 22:05:34 2018 +0100
2.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
2.3 @@ -1,9 +0,0 @@
2.4 -table {
2.5 - border-collapse: collapse;
2.6 - margin: 0.5em 0 0.5em 0;
2.7 -}
2.8 -
2.9 -table td {
2.10 - border: 1px solid #000;
2.11 - padding: 0.5em;
2.12 -}
3.1 --- a/moinformat/themes/html.py Mon Nov 26 22:05:34 2018 +0100
3.2 +++ b/moinformat/themes/html.py Mon Nov 26 22:07:21 2018 +0100
3.3 @@ -44,15 +44,16 @@
3.4
3.5 # Only link to CSS files.
3.6
3.7 - if splitext(filename)[-1] != ".css":
3.8 + basename, ext = splitext(filename)
3.9 + if ext != ".css":
3.10 continue
3.11
3.12 - # Filenames can have the form <media>_<name>.css to set the media
3.13 - # type.
3.14 + # Filenames can have the form <media>.css or <media>-<name>.css to
3.15 + # set the media type.
3.16
3.17 - t = filename.split("_")
3.18 + t = basename.split("-", 1)
3.19
3.20 - d["media"] = len(t) > 1 and t[0] or "all"
3.21 + d["media"] = t[0] or "all"
3.22 d["filename"] = filename
3.23
3.24 links.append(self.link % d)