DTD from the Scrollkeeper package, used by some gnome packages