functions=theme.pl
cs_table=b7b7b7
cs_header=7f7f7f
noindex=1
brand=<img src="/debiantheme/officiallogo-50.png" border="0" alt="Debian GNU/Linux" height="110" width="50">
brand_url=http://www.debian.org/
