On 22.02.23 16:43, Laura Arjona Reina wrote:
Hello
El 22 de febrero de 2023 14:34:08 CET, Tomas Pospisek <t...@sourcepole.ch>
escribió:
On 22.02.23 06:48, Effective Kisaragi wrote:
Hello maintainers.
I've just found https://packages.debian.org/debian.css
<https://packages.debian.org/debian.css> may contain unknown CSS property. In
my opinion, it would be :first-child instead of :fist-child.
I hope it will be fixed. Thank you.
It looks like https://packages.debian.org/debian.css is the same as
https://debian.org/debian.css, except that the latter (debian.org) seems to
have been cleaned up and the former (packages.debian.org) has been forgotten...
?
I have merged some contributions from other people to the www.debian.org CSS
files, I didn't know that packages.d.o used similar CSS file. I'll try to
commit to the packages repo the fix for this and other improvements I can copy
from webwml repo.
Super! In situations like these (when copy/pasting files), I usually
note in both files:
<!-- ATTENTION: when updating this file, then please keep it
consistent with
path/to/where/the/https://packages.debian.org/debian.css/file is -->
or respectively
<!-- ATTENTION: when updating this file, then please keep it
consistent with path/to/where/the/https://debian.org/debian.css/file is -->
That could be useful here.
*t
