$stylesheet = "gitweb.css"; $logo = "git-logo.png"; $favicon = "git-favicon.png"; $javascript = "gitweb.js";