From 9c60c31484778260e7eb20d563c33554cf39e8fd Mon Sep 17 00:00:00 2001
From: Dmitry Vyukov <dvyukov@google.com>
Date: Thu, 7 Nov 2024 16:01:04 +0100
Subject: pkg/manager: add common HTML page header

Add common HTML page header to every page.
The header contains common tabs, and expert mode switch.
---
 pkg/html/pages/style.css | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'pkg/html/pages/style.css')

diff --git a/pkg/html/pages/style.css b/pkg/html/pages/style.css
index b0afa3126..5da7359e6 100644
--- a/pkg/html/pages/style.css
+++ b/pkg/html/pages/style.css
@@ -84,6 +84,21 @@ table td, table th {
 	padding-left: 20px;
 }
 
+.action_button, .action_button_selected {
+	border: 1px solid black;
+	align: left;
+	vertical-align: center;
+	text-align: center;
+	width: 30px;
+	height: 30px;
+	padding: 4px;
+	margin: 5px;
+}
+
+.action_button_selected {
+	border: 3px solid black;
+}
+
 .position_table .search {
 	text-align: right;
 }
-- 
cgit mrf-deployment