function theme_url($url = null) { if ($url && substr($url, 0, 1) != '/') { $url = '/' . $url; } return View::themeUrl() . $url; }