diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-11-07 16:01:04 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-11-08 14:15:20 +0000 |
| commit | 9c60c31484778260e7eb20d563c33554cf39e8fd (patch) | |
| tree | ccf4d8082a8d543bb1d3c884245dad72b66447a3 /pkg/html | |
| parent | 63bef6c39574466284f629bde4aedc7649179c26 (diff) | |
pkg/manager: add common HTML page header
Add common HTML page header to every page.
The header contains common tabs, and expert mode switch.
Diffstat (limited to 'pkg/html')
| -rw-r--r-- | pkg/html/pages/style.css | 15 |
1 files changed, 15 insertions, 0 deletions
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; } |