Make the menu bar search field appear on slightly smaller screen widths.

- Legacy-Id: 9525
This commit is contained in:
Lars Eggert 2015-04-20 08:20:40 +00:00
parent 6f2e9f7c25
commit 651477699b
2 changed files with 10 additions and 11 deletions

View file

@ -50,13 +50,11 @@
<a class="navbar-brand" href="/">
<img alt="IETF Logo" src="/images/ietflogo-small-transparent.png">
{% if not user.is_authenticated %}
<div style="display: inline; vertical-align: top; padding-left: 1em;">
{% if server_mode and server_mode == "production" %}
Datatracker
{% else %}
<b><i>Development mode</i></b>
{% endif %}
</div>
{% endif %}
</a>
</div>
@ -70,9 +68,9 @@
{% include "base/menu.html" with flavor="top" %}
</ul>
<form class="navbar-form navbar-right hidden-sm hidden-xs" action="/doc/search/" role="search">
<form class="navbar-form navbar-right hidden-xs" action="/doc/search/" role="search">
<div class="form-group">
<input class="form-control" type="text" name="name" placeholder="Document search">
<input class="form-control input-sm" type="text" name="name" placeholder="Document search">
<input type="hidden" name="activedrafts" value="on">
<input type="hidden" name="rfcs" value="on">
</div>

View file

@ -84,7 +84,12 @@ body { padding-top: 70px; }
.navbar-brand > img {
display: inline;
margin-top: -7px;
padding-right: 1em;
}
.navbar-brand {
font-size: 15px !important;
margin-top: -5px;
}
/* Hack to make anchor-targets take up a bit more space vertically
@ -98,10 +103,6 @@ body { padding-top: 70px; }
margin-top: -65px;
}
/* Style navbar buttons */
/* .navbar-btn { color:#777; } */
/* .navbar-btn:hover { color: #333; } */
/* Make the panel title font normally large */
.panel-title { font-size: 14px }