chore drop dead .account styles and account_area

The masthead sign-out moved to the .profile-menu drop-down, so the .account rules and the always-empty account_area binding no longer render anything. Remove both.

Commit
ca0e31fbede45c44caa50bb2a243789de14e0a06
Author
Marius Peter <dev@marius-peter.com>
Author date
Committer
Marius Peter <dev@marius-peter.com>
Committer date
Changed files
lib/presenter/page_shell.ml
index 3c54b450..387a5da7 100644..100644
@@ -129,7 +129,6 @@
129 129 ]
130 130 | _ -> []
131 131 in
132 Removed: let account_area = [] in
133 132 let primary_nav =
134 133 match (viewer, request) with
135 134 | Some (_ : View_model.Viewer.t), Some _ ->
@@ -206,7 +205,7 @@
206 205 else [])
207 206 [ txt "hito" ];
208 207 ]
209 Removed: @ primary_nav @ profile_area @ account_area);
208 Added: @ primary_nav @ profile_area);
210 209 tag "main"
211 210 [ id "main-content"; tabindex "-1" ]
212 211 [
lib/web/assets/hito.css
index 83a36e1f..ee832f73 100644..100644
@@ -225,17 +225,6 @@
225 225 font-weight: 800;
226 226 }
227 227
228 Removed: /* The header sign-out sits at the right of the masthead at every width. It is
229 Removed: a compact, content-sized control, not the full-width submit used in forms. */
230 Removed: .account { display: block; }
231 Removed: .account .logout { margin: 0; }
232 Removed: .account .logout input[type="submit"] {
233 Removed: width: auto;
234 Removed: min-height: 2.75rem;
235 Removed: margin: 0;
236 Removed: padding: 0.5rem 0.9rem;
237 Removed: }
238 Removed:
239 228 /* The profile drop-down. The <summary> reuses the .profile pill styling; the
240 229 panel opens below it with account actions. A <details> menu needs no script,
241 230 so it works before the SPA enhancement loads. The open animation is clamped
@@ -1376,7 +1365,6 @@
1376 1365 with the sign-out control hidden. At or above it, the inline primary nav
1377 1366 joins the header sign-out and the bottom nav is hidden. */
1378 1367 .primary-nav { display: none; }
1379 Removed: .account { display: none; }
1380 1368 .bottom-nav {
1381 1369 position: fixed;
1382 1370 z-index: 20;
@@ -1416,7 +1404,6 @@
1416 1404 .app-shell { padding: 0 1rem 2.5rem; }
1417 1405 .bottom-nav { display: none; }
1418 1406 .primary-nav { display: flex; }
1419 Removed: .account { display: block; }
1420 1407 }
1421 1408
1422 1409