/* Disabling hyphenation (which was broken for Polish) */
.doc {
  -webkit-hyphens: none;
  -ms-hyphens: none;
  hyphens: none;
}

.navbar {
  background-color: #70161b;
}

.navbar-item { 
  color: #ffffff; 
}

#search-input {
    border-radius: 4px;
}

#search-field {
    padding-right: 0.4em;
}

body.env-browser .app-only {
    display: none !important;
}

body.env-app .browser-only {
    display: none !important;
}

/* Changing the background color for the "TIP" admonitions */
.doc .admonitionblock td.icon i.icon-tip {
  background-color: #70161b;
}