orntar
February 3, 2026, 6:56pm
1
I don’t think its just me, I have tried Vivaldi (chrome) and Firefox/Waterfox.
on a mobile browser, I do not have a search box that is usually available on the desktop version. My workaround has been to set the desktop page, then search, then revert to mobile.
Hmm, it seems to be based on the width of the page rather than mobile/desktop.
If you turn your phone sideways, the search bar reappears.
orntar
February 3, 2026, 8:37pm
3
Ah, interesting.
Thats pretty easy to do. Thanks!
I created an issue for this:
opened 10:26PM - 03 Feb 26 UTC
The search bar disappears when the page is too narrow.
We should either add a bu… rger menu in that case.
(Maybe drop the title and keep the things on the right?)
Needs experimentation.
orntar
February 3, 2026, 10:45pm
5
Great! I have some html experience, I could look into it.
Where would this section/header be found? css?
Most of the CSS lives here if I remember correctly:
:target::before {
content: "";
display: block;
height: 65px; /* fixed header height*/
margin: -65px 0 0; /* negative fixed header height */
}
.search-container input[type=text] button {
padding: 6px;
margin-top: 8px;
font-size: 14px;
border: none;
}
.search-container {
color: white;
border: 1px solid #5d910b;
background: linear-gradient(#93bd20, #659e10);
border-radius: 2px;
box-shadow: inset 0px 1px 0px rgba(255,255,255,.3), 0px 3px 7px rgba(0,0,0,.7);
This file has been truncated. show original
The actual HTML for the search box is here:
<meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
{% include head-custom.html %}
</head>
<body>
<div id="header">
<nav>
<ul>
<li class="fork"><font size=+2 onclick="location.href='/'">ProffieOS Documentation</font></li>
<li class="downloads"><a href="{% github_edit_link %}">✎</a></li>
<li class="downloads"><a href="{{ site.github.repository_url }}"><img src="/images/github-mark.svg" width=12 height=12 /></a></li>
<li class="downloads"><div class=search-container><form action="/search.html" ><input type=text name=q size=10 placeholder="Search.." /><button type="submit">🔍</button></form></div></li>
<!-- <li class="downloads"><a href="{{ site.github.repository_url }}">View On GitHub</a></li> -->
{% if site.show_downloads %}
<li class="downloads"><a href="{{ site.github.zip_url }}">ZIP</a></li>
<li class="downloads"><a href="{{ site.github.tar_url }}">TAR</a></li>
<li class="title">DOWNLOADS</li>
{% endif %}
</ul>
</nav>
</div><!-- end header -->