module Panda.View.Widget.Head where import Panda.Helper.Env import Prelude hiding ((.), (/), (^), id, span) import qualified Panda.Config.Global as G import Panda.Type.Theme hiding (header) html_head = header << ([meta_tag, title_tag, favicon_tag, rss_tag] ++ G.theme.css.map css_link ++ G.theme.js.map js_link ) title_tag = thetitle << G.blog_title rss_tag = rss_link "rss.xml" favicon_tag = favicon_link G.favicon