software/mumi - Mediocre, uh, mail interface: mumi. A moderately prettier web frontend to Debbugs.

	Commit message (Expand)	Author	Age	Files	Lines
*	js: Do not finish token on space when inside a prefixed phrase.	Ricardo Wurmus	2023-01-01	1	-1/+1
*	js: Simplify query tokenizer.	Ricardo Wurmus	2023-01-01	1	-41/+1
*	js: Tokenize pasted text.	Ricardo Wurmus	2023-01-01	1	-0/+7
*	js: Move tokenizer code to function.	Ricardo Wurmus	2023-01-01	1	-11/+17
*	js: Move constants out of function context.	Ricardo Wurmus	2023-01-01	1	-64/+64
*	css: Let search field expand vertically when needed.	Ricardo Wurmus	2023-01-01	1	-1/+0
*	js: Don't append a trailing space to query.	Ricardo Wurmus	2023-01-01	1	-3/+1
*	js: Ensure that input element is visible....	Ricardo Wurmus	2023-01-01	1	-0/+1
*	Move lines.js into mumi.js.	Ricardo Wurmus	2022-12-31	2	-13/+16
*	Only act on clicks to the left of the line....	Ricardo Wurmus	2022-12-31	2	-3/+3
*	Add JavaScript to recognize and style query tokens.	Ricardo Wurmus	2022-12-31	3	-18/+1764
*	Truncate very long message parts.	Ricardo Wurmus	2022-12-24	1	-0/+10
*	Fix table sort of dates....	Ricardo Wurmus	2022-12-24	1	-0/+14
*	Accept "plain" query for issue URLs to disable processing of lines....	Ricardo Wurmus	2022-12-24	1	-0/+6
*	css: Remove background blur from headers.	Ricardo Wurmus	2022-12-24	1	-2/+0
*	css: Remove unnecessary subtle transparency.	Ricardo Wurmus	2022-12-24	1	-5/+5
*	Activate theme switcher as soon as the body tag exists.	Ricardo Wurmus	2022-12-24	1	-7/+5
*	Reduce page weight by simplifying line number anchors....	Ricardo Wurmus	2022-12-24	2	-5/+18
*	css: Add theme switcher scss sources.0.0.3	Ricardo Wurmus	2022-12-21	2	-1/+72
*	css: Remove broken (and invisible) CSS.	Ricardo Wurmus	2022-12-21	1	-25/+0
*	css: Adjust sidebar.	Ricardo Wurmus	2022-12-21	1	-3/+3
*	css: Use more variable colors.	Ricardo Wurmus	2022-12-21	1	-10/+11
*	css: Change dark theme colors for diff add/remove.	Ricardo Wurmus	2022-12-21	1	-4/+14
*	Add dark/light theme switcher.	Ricardo Wurmus	2022-12-20	2	-0/+102
*	css: Adjust position of details/summary indicator.	Ricardo Wurmus	2022-12-20	1	-0/+15
*	css: Make sidebar respond to hover.	Ricardo Wurmus	2022-12-20	1	-4/+11
*	css: Improve dark mode colors.	Ricardo Wurmus	2022-12-20	1	-8/+11
*	css: Adjust table colors.	Ricardo Wurmus	2022-12-20	1	-3/+11
*	css: Resize search box.	Ricardo Wurmus	2022-12-20	1	-1/+8
*	css: Reduce transparency of nav bar.	Ricardo Wurmus	2022-12-20	1	-2/+2
*	html: Fix style of comment box and message headers.	Ricardo Wurmus	2022-12-20	1	-8/+8
*	html: Restore message cards and adjust gaps.	Ricardo Wurmus	2022-12-20	1	-2/+11
*	html: Fix styling of event badges.	Ricardo Wurmus	2022-12-20	1	-2/+21
*	html: Move submitter info and align buttons.	Ricardo Wurmus	2022-12-20	1	-0/+14
*	css: search-hints: Use variable colors.	Ricardo Wurmus	2022-12-20	1	-2/+2
*	css: Reduce overlap of search-hints on input.	Ricardo Wurmus	2022-12-20	1	-1/+4
*	Only change width of inline search form.	Ricardo Wurmus	2022-12-20	1	-3/+3
*	Add SVG logo and adjust nav styles.	Ricardo Wurmus	2022-12-20	1	-22/+92
*	Remove bootstrap.css and build CSS from SCSS sources.	Ricardo Wurmus	2022-12-20	2	-8981/+525
*	Add pico.css.	Ricardo Wurmus	2022-12-20	1	-0/+0
*	view: Wrap contents of diff lines with pre....	Ricardo Wurmus	2021-12-09	1	-0/+7
*	css: Show line anchors only in browsers supporting CSS.	Ricardo Wurmus	2021-12-09	1	-2/+5
*	view: Add line anchors.	Ricardo Wurmus	2021-12-09	1	-0/+11
*	css: Add scroll-padding-top to html tag....	Ricardo Wurmus	2021-12-09	1	-1/+4
*	Use div instead of span for lines....	Ricardo Wurmus	2021-12-09	1	-7/+7
*	css: Draw multipart separator also when following an attachment.	Ricardo Wurmus	2020-05-16	1	-0/+1
*	css: Leave more space in the sidebar.	Ricardo Wurmus	2020-05-15	1	-0/+5
*	css: Remove code.css.	Ricardo Wurmus	2020-05-15	1	-33/+0
*	Allow download of raw message.	Ricardo Wurmus	2020-05-13	1	-0/+5
*	css: Move sidebar up and let it scroll when needed.	Ricardo Wurmus	2020-05-12	1	-1/+3