Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Accept "plain" query for issue URLs to disable processing of lines. | Ricardo Wurmus | 2022-12-24 | 1 | -0/+6 |
| | | | | This is useful for text browsers and for unusually large issues. | ||||
* | 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 |
| | | | | | | | | 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 | 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 |
| | | | | Fixes <https://issues.guix.gnu.org/43166>. | ||||
* | 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 |
| | | | | | This fixes the scroll position of *all* anchors, not just the message-anchor. | ||||
* | Use div instead of span for lines. | Ricardo Wurmus | 2021-12-09 | 1 | -7/+7 |
| | | | | | It's not perfect, but using a block element causes things to be rendered much more nicely in a text-only browser. | ||||
* | 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 |
| | |||||
* | css: Add a bit of space between the file icon and the attachment name. | Ricardo Wurmus | 2020-05-09 | 1 | -0/+1 |
| | |||||
* | css: Don't let the sidebar cover the search hints. | Ricardo Wurmus | 2020-05-09 | 1 | -0/+1 |
| | |||||
* | html: Add a sidebar to quickly jump to messages. | Ricardo Wurmus | 2020-05-07 | 1 | -0/+25 |
| | |||||
* | css: Merge code and screen CSS files. | Ricardo Wurmus | 2020-05-07 | 1 | -0/+36 |
| | |||||
* | css: Fix font color in search hints. | Ricardo Wurmus | 2020-05-07 | 1 | -0/+1 |
| | |||||
* | view: Generate blocks of lines and style the blocks. | Ricardo Wurmus | 2020-05-07 | 1 | -8/+18 |
| | | | | | | | | | | | This allows us to toggle the display of lines that belong together. * mumi/web/view/utils.scm (<block>): New record type. (add-block-line!): New procedure. (process): Take the list of blocks as an argument; return the new blocks and the next context. (prettify): Render blocks with classes derived from the block type. * assets/css/screen.css: Adjust. | ||||
* | view: Make navigation sticky and hide title on narrow screens. | Ricardo Wurmus | 2020-05-05 | 1 | -5/+12 |
| | |||||
* | view: Show issue title in fixed top bar. | Ricardo Wurmus | 2020-05-05 | 1 | -0/+4 |
| | |||||
* | css: Shrink h1 font size on smaller screens. | Ricardo Wurmus | 2020-05-05 | 1 | -0/+6 |
| | |||||
* | view: Hide details by default. | Ricardo Wurmus | 2020-05-05 | 1 | -1/+6 |
| | |||||
* | css: Reduce message margin and padding. | Ricardo Wurmus | 2020-04-23 | 1 | -1/+4 |
| | |||||
* | html: Add search hints. | Ricardo Wurmus | 2020-04-23 | 1 | -0/+22 |
| | |||||
* | css: Reduce size of avatars. | Ricardo Wurmus | 2020-04-06 | 1 | -4/+4 |
| |