function getCSS() { // FIXME: this is a hack which will not be needed once // we have dynamic CSS. $css = WikiTheme::getCSS(); $css->pushcontent(HTML::style(array('type' => 'text/css'), new RawXml(sprintf("<!--\nbody {background-image: url(%s);}\n-->", $this->getImageURL('uhhbackground.jpg'))))); return $css; }
function getCSS() { // FIXME: this is a hack which will not be needed once // we have dynamic CSS. $css = WikiTheme::getCSS(); $css->pushcontent(HTML::style(array('type' => 'text/css'), new RawXml(sprintf("<!--\nbody {background-image: url(%s);}\n-->\n", $this->getImageURL('bgpaper8'))))); //for non-browse pages, like former editpage, message etc. //$this->getImageURL('bggranular'))); return $css; }