Use CSS borders, instead of ancient tricks with pre-rendered dots in debpkg.css
Given that there are already CSS dotted lines in use in debpkg.css, I see no reason to use the background-image hack. In fact, on some high-DPI screens, the background-image way produces antialiasing visual artifacts.