annotate mod_http_muc_log/static/style.css @ 5536:96dec7681af8

mod_firewall: Update user marks to store instantly via map store The original approach was to keep marks in memory only, and persist them at shutdown. That saves I/O, at the cost of potentially losing marks on an unclean shutdown. This change persists marks instantly, which may have some performance overhead but should be more "correct". It also splits the marking/unmarking into an event which may be watched or even fired by other modules.
author Matthew Wild <mwild1@gmail.com>
date Thu, 08 Jun 2023 16:20:42 +0100
parents 7bce75e74f86
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5107
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
1 @charset "UTF-8";
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
2 /* Style for mod_http_muc_log */
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
3 :link, :visited { color: #3465a4; text-decoration: none; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
4
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
5 :link:hover, :link:hover, :visited:hover, :visited:hover { color: #6197df; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
6
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
7 body { background-color: #eeeeec; margin: 1ex 0; padding-bottom: 3em; font-family: Arial,Helvetica,sans-serif; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
8
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
9 ul, ol { padding: 0; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
10
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
11 li { list-style: none; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
12
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
13 li.edited { display: none; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
14
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
15 li:target { outline: 1px gray dotted; display: inherit; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
16
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
17 hr { visibility: hidden; clear: both; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
18
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
19 br { clear: both; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
20
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
21 header, footer { margin: 1ex 1em; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
22
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
23 footer { font-size: smaller; color: #babdb6; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
24
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
25 footer nav .up { display: none; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
26
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
27 nav { font-size: large; margin: 1ex 1ex; clear: both; line-height: 1.5em; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
28
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
29 nav a { padding: 1ex; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
30
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
31 nav li, nav dt { margin: 1ex; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
32
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
33 nav .up { font-size: smaller; display: block; clear: both; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
34
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
35 nav .up::before { content: "↑ "; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
36
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
37 nav .prev { float: left; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
38
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
39 nav .prev::before { content: "← "; }
3485
181561d0aae5 mod_http_muc_log: Add functionality for hiding joins and parts
Kim Alvefur <zash@zash.se>
parents: 2083
diff changeset
40
5107
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
41 nav .next { float: right; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
42
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
43 nav .next::after { content: " →"; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
44
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
45 nav .last::after { content: " ⇥"; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
46
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
47 nav :empty::after, nav :empty::before { content: ""; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
48
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
49 @media screen and (min-width: 460px) { nav { font-size: x-large; margin: 1ex 1em; } }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
50
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
51 table { display: inline-block; margin: 1ex 1em; vertical-align: top; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
52
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
53 th { font-size: x-small; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
54
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
55 td { text-align: right; color: #bababa; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
56
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
57 td > a, td > span { padding: 0.4em; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
58
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
59 .content { background-color: white; padding: 1em; list-style-position: inside; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
60
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
61 .time { margin-left: 1em; font-size: small; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
62
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
63 .description { font-size: smaller; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
64
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
65 .body { white-space: pre-line; margin: 1pt 0 1ex; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
66
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
67 .presence .verb { font-style: normal; color: #30c030; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
68
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
69 .unavailable .verb { color: #c03030; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
70
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
71 .button { display: inline-block; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
72
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
73 .button > a { color: white; background-color: orange; border-radius: 4px; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
74
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
75 .reaction { font-size: smaller; outline: 1px solid silver; border-radius: 2px; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
76
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
77 form { text-align: right; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
78
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
79 figure img { max-height: 9em; max-width: 16em; }
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
80
1e10ddbf5c87 mod_http_muc_log: Tweak style towards the "modern"
Kim Alvefur <zash@zash.se>
parents: 5104
diff changeset
81 @media (prefers-color-scheme: dark) { html { color: #eee; } body { background-color: #161616; } .content { background-color: #1c1c1c; } footer { color: #444; } td { color: #444; } .button > a { background-color: #282828; } }