johu@gentoo.org Johannes Huber devmanual@gentoo.org Bugs for the devmanual documentation must be assigned to devmanual@gentoo.org Use alternative minimal stylesheet instead of tyrian theme.