"> <%= yield_content "header" %> <% locale = LOCALES[env.get("preferences").as(Preferences).locale]? %> <% dark_mode = env.get("preferences").as(Preferences).dark_mode %> -theme">
<% if navbar_search %>
" value="<%= env.get?("search").try {|x| HTML.escape(x.as(String)) } %>">
<% end %>
<% if env.get? "user" %>
" class="pure-menu-heading"> <% if env.get("preferences").as(Preferences).dark_mode == "dark" %> <% else %> <% end %>
" href="/feed/subscriptions" class="pure-menu-heading"> <% notification_count = env.get("user").as(User).notifications.size %> <% if notification_count > 0 %> <%= notification_count %> <% else %> <% end %>
" href="/preferences?referer=<%= env.get?("current_page") %>" class="pure-menu-heading">
<% if env.get("preferences").as(Preferences).show_nick %>
<%= env.get("user").as(User).email %>
<% end %>
" method="post"> "> ">
<% else %>
" class="pure-menu-heading"> <% if env.get("preferences").as(Preferences).dark_mode == "dark" %> <% else %> <% end %>
" href="/preferences?referer=<%= env.get?("current_page") %>" class="pure-menu-heading">
<% if CONFIG.login_enabled %>
" class="pure-menu-heading"> <%= translate(locale, "Log in") %>
<% end %> <% end %>
<% if CONFIG.banner %>

<%= CONFIG.banner %>

<% end %>
<%= content %>
<% if env.get? "user" %> <% end %>