added option to change the navbar-default, i.e. usable for dark skins

defaults/yacy.init

@@ -1270,4 +1270,5 @@ crawler.userAgent.clienttimeout = 10000
 decoration.audio = false
 decoration.grafics.linkstructure = true
 decoration.hostanalysis = false
+decoration.simpleheadernavbar = navbar-default
 

htroot/env/templates/simpleheader.template

@@ -1,5 +1,5 @@
 <!-- top navigation -->
-<div class="navbar navbar-default navbar-fixed-top" role="navigation">
+<div class="navbar #[simpleheadernavbar]# navbar-fixed-top" role="navigation">
   <div class="container-fluid">
     <div class="navbar-header">
       <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">

source/net/yacy/http/servlets/YaCyDefaultServlet.java

@@ -903,6 +903,8 @@ public class YaCyDefaultServlet extends HttpServlet  {
                 templatePatterns.putHTML("newpeer_peerhash", myPeer.hash);
                 boolean authorized = sb.adminAuthenticated(legacyRequestHeader) >= 2;
                 templatePatterns.put("authorized", authorized ? 1 : 0);
+
+                templatePatterns.put("simpleheadernavbar", sb.getConfig("decoration.simpleheadernavbar", "navbar-default"));
                 
                 // add navigation keys to enable or disable menu items
                 templatePatterns.put("navigation-p2p", sb.getConfigBool(SwitchboardConstants.DHT_ENABLED, true) || !sb.isRobinsonMode() ? 1 : 0);