Add Visit docs button to header (#508)

This gives a basic way to get to the docs like the old dashboard. I was
doing a bunch of local dev on the new dashboard and kept getting annoyed
at not being able to get to the docs in an obvious way.

I think this is important and is a middle ground until we can work on a
fancier verison.

<img width="939" alt="Screenshot 2024-10-15 at 7 21 13 AM"
src="https://github.com/user-attachments/assets/a701d20e-3965-4232-9360-7a93795f41ec">

Author: ericholscher

readthedocsext/theme/templates/projects/partials/header.html

@@ -49,7 +49,9 @@
                style="display: none">
 
             {% block project_header_description %}
-              {% if project.description %}<p>{{ project.description|truncatewords:15 }}</p>{% endif %}
+              {% if project.description %}
+                <p>{{ project.description|truncatewords:15 }}</p>
+              {% endif %}
             {% endblock project_header_description %}
 
             {% block project_header_tags %}
@@ -171,8 +173,8 @@
         {% trans "Builds" %}
         <span class="ui tiny teal circular label">{{ project.builds.count }}</span>
       </a>
-      {% if request.user|is_admin:project %}
-        <div class="right menu">
+      <div class="right menu">
+        {% if request.user|is_admin:project %}
           {% if user.is_staff %}
             <a class="item" data-bind="click: $root.show_modal('project-debug')">
               <i class="fa-duotone fa-microscope icon"></i>
@@ -184,8 +186,15 @@
             <i class="fa-duotone fa-gears icon"></i>
             {% trans "Settings" %}
           </a>
-        </div>
-      {% endif %}
+        {% endif %}
+        {# Show top-level view docs button on non-build pages with a good build #}
+        {% if project.has_good_build and not build %}
+          <a class="item" href="{{ project.get_docs_url }}">
+            <i class="fa-duotone fa-book icon"></i>
+            {% trans "View docs" %}
+          </a>
+        {% endif %}
+      </div>
     </div>
 
     <div class="ui mini modal" data-modal-id="project-debug">