File indexing completed on 2026-09-28 09:37:31
0001 {% load static monitor_nav %}
0002 <!DOCTYPE html>
0003 <html lang="en" data-nav-mode="production">
0004 <head>
0005 <meta charset="UTF-8">
0006 <meta name="viewport" content="width=device-width, initial-scale=1.0">
0007 <title>{% block title %}ePIC Production Monitor{% endblock %}</title>
0008 <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css">
0009 <link rel="stylesheet" href="{% static 'css/style.css' %}">
0010 <link rel="stylesheet" href="{% static 'css/state-colors.css' %}">
0011 <style>
0012 nav {
0013 display: flex;
0014 align-items: center;
0015 gap: .8em;
0016 }
0017 .sticky-header {
0018 position: sticky;
0019 top: 0;
0020 z-index: 1030;
0021 }
0022 .nav-spacer {
0023 flex: 1 1 auto;
0024 }
0025 .nav-auth {
0026 display: flex;
0027 gap: .8em;
0028 }
0029 nav a {
0030 color: #ADD8E6;
0031 }
0032 nav a.nav-active {
0033 text-shadow: 0 0 .65px currentColor, 0 0 .65px currentColor;
0034 }
0035 /* Dropdown Button */
0036 .dropbtn {
0037 background-color: inherit;
0038 color: #8fc7e8;
0039 text-decoration: none;
0040 padding: 0;
0041 font-size: inherit;
0042 border: none;
0043 cursor: pointer;
0044 }
0045 .dropbtn.nav-active {
0046 text-shadow: 0 0 .65px currentColor, 0 0 .65px currentColor;
0047 }
0048 /* The container <div> - needed to position the dropdown content */
0049 .dropdown {
0050 position: relative;
0051 display: inline-block;
0052 margin-right: .35em;
0053 }
0054 /* Dropdown Content (Hidden by Default) */
0055 .dropdown-content {
0056 display: none;
0057 position: absolute;
0058 background-color: #f9f9f9;
0059 min-width: 160px;
0060 box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
0061 z-index: 1;
0062 }
0063 /* Links inside the dropdown */
0064 .dropdown-content a {
0065 color: black;
0066 padding: 12px 16px;
0067 text-decoration: none;
0068 display: block;
0069 }
0070 .dropdown-content a.nav-active {
0071 background-color: #e9ecef;
0072 }
0073 /* Change color of dropdown links on hover */
0074 .dropdown-content a:hover {background-color: #f1f1f1}
0075 /* Show the dropdown menu on hover */
0076 .dropdown:hover .dropdown-content {
0077 display: block;
0078 }
0079 /* Nav mode flipper */
0080 .nav-mode { display: none; }
0081 .nav-mode.active { display: contents; }
0082 html[data-nav-mode="production"] .nav-production,
0083 html[data-nav-mode="testbed"] .nav-testbed { display: contents; }
0084 #mode-label {
0085 border-right: 1px solid rgba(255,255,255,.2);
0086 color: #fff;
0087 font-weight: 700;
0088 padding-right: 12px;
0089 margin-right: 4px;
0090 }
0091 #mode-label .mode-title { display: none; }
0092 html[data-nav-mode="production"] #mode-label .mode-title-production,
0093 html[data-nav-mode="testbed"] #mode-label .mode-title-testbed { display: inline; }
0094 .nav-label {
0095 color: #fff;
0096 font-weight: 700;
0097 }
0098 .nav-panda-label {
0099 margin-left: 1.5em;
0100 }
0101 .nav-analysis {
0102 margin-left: 1.5em;
0103 }
0104 .nav-system-error { color: #ff8174 !important; font-weight: 700; }
0105
0106 /* PCS canonical Edit button — filled dark green, matches swf-monitor. */
0107 .btn.btn-dark-green {
0108 background-color: #166534; border-color: #166534; color: #fff;
0109 }
0110 .btn.btn-dark-green:hover, .btn.btn-dark-green:focus {
0111 background-color: #14532d; border-color: #14532d; color: #fff;
0112 }
0113 .btn.btn-dark-green:disabled, .btn.btn-dark-green.disabled {
0114 background-color: #6c757d; border-color: #6c757d; color: #e9ecef;
0115 }
0116 </style>
0117 {% block extra_head %}{% endblock %}
0118 </head>
0119 <body>
0120 <div class="sticky-header">
0121 {% monitor_nav %}
0122 </div>
0123 <main>
0124 {% block content %}{% endblock %}
0125 </main>
0126 </body>
0127 </html>
