Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Bump version.0.0.4 | Ricardo Wurmus | 2022-12-24 | 1 | -1/+1 |
| | |||||
* | Distribute images and JavaScript. | Ricardo Wurmus | 2022-12-24 | 1 | -1/+2 |
| | |||||
* | css: Remove background blur from headers. | Ricardo Wurmus | 2022-12-24 | 2 | -3/+1 |
| | |||||
* | 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 | 2 | -11/+9 |
| | |||||
* | Reduce page weight by simplifying line number anchors. | Ricardo Wurmus | 2022-12-24 | 4 | -40/+49 |
| | | | | | | | | For large issues with many lines the DOM becomes littered with anchors that slow down rendering significantly. Dropping the anchor tags cuts the page size in half and speeds up rendering. We can still address lines by their identifiers, but to act on clicks we need a little bit of JavaScript. | ||||
* | css: Add theme switcher scss sources.0.0.3 | Ricardo Wurmus | 2022-12-21 | 3 | -2/+73 |
| | |||||
* | Bump version. | Ricardo Wurmus | 2022-12-21 | 1 | -1/+1 |
| | |||||
* | 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 |
| | |||||
* | html: Update copyright line. | Ricardo Wurmus | 2022-12-20 | 1 | -1/+1 |
| | |||||
* | Add dark/light theme switcher. | Ricardo Wurmus | 2022-12-20 | 3 | -0/+104 |
| | |||||
* | css: Adjust position of details/summary indicator. | Ricardo Wurmus | 2022-12-20 | 2 | -0/+16 |
| | |||||
* | html: Remove discrepancy between disabled/enabled mailer. | Ricardo Wurmus | 2022-12-20 | 1 | -43/+44 |
| | |||||
* | css: Make sidebar respond to hover. | Ricardo Wurmus | 2022-12-20 | 1 | -4/+11 |
| | |||||
* | css: Improve dark mode colors. | Ricardo Wurmus | 2022-12-20 | 2 | -9/+12 |
| | |||||
* | css: Adjust table colors. | Ricardo Wurmus | 2022-12-20 | 1 | -3/+11 |
| | |||||
* | html: Remove extra classes. | Ricardo Wurmus | 2022-12-20 | 1 | -13/+8 |
| | |||||
* | 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 | 2 | -75/+71 |
| | |||||
* | html: Remove unnecessary classes from /help. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 |
| | |||||
* | view/utils: process: Do not generate "pre" elements. | Ricardo Wurmus | 2022-12-20 | 1 | -5/+5 |
| | | | | | | The "pre" element has its own overflow setting, which causes individual lines to be either clipped or scrolled, which looks terrible. | ||||
* | html: Restore message cards and adjust gaps. | Ricardo Wurmus | 2022-12-20 | 2 | -67/+72 |
| | |||||
* | html: Fix styling of event badges. | Ricardo Wurmus | 2022-12-20 | 2 | -6/+23 |
| | |||||
* | html: Move submitter info and align buttons. | Ricardo Wurmus | 2022-12-20 | 2 | -91/+108 |
| | |||||
* | html: Use "article" for cards. | Ricardo Wurmus | 2022-12-20 | 1 | -33/+36 |
| | |||||
* | css: search-hints: Use variable colors. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+2 |
| | |||||
* | html: search-widget: Remove nested div. | Ricardo Wurmus | 2022-12-20 | 1 | -33/+31 |
| | |||||
* | 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 |
| | |||||
* | html: Use "main" element for all containers. | Ricardo Wurmus | 2022-12-20 | 1 | -7/+7 |
| | |||||
* | Add SVG logo and adjust nav styles. | Ricardo Wurmus | 2022-12-20 | 2 | -29/+187 |
| | |||||
* | html: Remove search icon and submit button. | Ricardo Wurmus | 2022-12-20 | 1 | -21/+0 |
| | |||||
* | Use "search" as input type for search bar. | Ricardo Wurmus | 2022-12-20 | 1 | -2/+1 |
| | |||||
* | Remove bootstrap.css and build CSS from SCSS sources. | Ricardo Wurmus | 2022-12-20 | 6 | -8994/+556 |
| | |||||
* | Add pico.css. | Ricardo Wurmus | 2022-12-20 | 2 | -0/+3 |
| | |||||
* | Add QA status badge to issue page. | Arun Isaac | 2022-10-16 | 2 | -1/+20 |
| | | | | | | | | * mumi/config.scm.in (%config): Add qa-scheme and qa-host configuration parameters. * mumi/web/view/html.scm: Import (web uri). (build-uri-path): New function. (issue-page): Add QA status badge. | ||||
* | view/html: Unambiguously imply date:YYYY-MM-DD. | Tobias Geerinckx-Rice | 2022-10-13 | 1 | -1/+1 |
| | |||||
* | controller: Do not hash msgid term twice. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+1 |
| | |||||
* | mumi: process-query: Do not mangle msgid term. | Ricardo Wurmus | 2022-07-06 | 1 | -0/+3 |
| | |||||
* | tests: Add a test for a message with abnormally large message id.0.0.2 | Ricardo Wurmus | 2022-07-06 | 6 | -1/+4434 |
| | |||||
* | Use a stable hash algorithm for message ids. | Ricardo Wurmus | 2022-07-06 | 4 | -5/+12 |
| | |||||
* | help: Mention msgid filter. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+4 |
| | |||||
* | xapian: search: Convert msgid string to hash. | Ricardo Wurmus | 2022-07-06 | 1 | -4/+9 |
| | |||||
* | tests: Add test for searching by msgid. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+5 |
| | |||||
* | Update copyright. | Ricardo Wurmus | 2022-07-06 | 1 | -1/+1 |
| | |||||
* | Redirect /msgid/ URL to issue URL with message id anchor. | Ricardo Wurmus | 2022-06-05 | 3 | -7/+26 |
| |