public function getNavigationStyle() { if (($style = $this->getViewState('NavigationStyle', null)) === null) { $style = new TPanelStyle(); $this->setViewState('NavigationStyle', $style, null); } return $style; }