1. 28 Oct, 2021 1 commit
  2. 14 Oct, 2021 1 commit
  3. 13 Oct, 2021 1 commit
  4. 11 Oct, 2021 1 commit
  5. 29 Sep, 2021 1 commit
  6. 08 Sep, 2021 1 commit
  7. 12 Aug, 2021 3 commits
  8. 11 Aug, 2021 1 commit
  9. 04 Aug, 2021 1 commit
  10. 28 Jul, 2021 1 commit
  11. 21 Jul, 2021 1 commit
    • Erik Faye-Lund's avatar
      footer: tweak boldness of headings a bit · d951be90
      Erik Faye-Lund authored
      In commit d8b10296 ("footer: use h6 instead of strong"), I opted for a
      bit more semantical HTML, but it seems that dropping the strong-tag here
      had an unexpected side-effect; the boldness might have just been a bit
      less on my system, but it seems on other systems it's a *lot* less bold.
      In fact, not bold at all.
      It turns out, this depends on the fonts installed on the system, and
      Bootstrap uses a default font-weight of 500 for headings. This looks
      fine most places, but in the footer here, we *really* want the headings
      to stand out from the rest.
      So let's add back some boldness. By doing this in the CSS instead, we
      get to keep the semanticness of the HTML without having to sacrifice the
      look. The value of 600 was picked by a bit of trial-and-error; both
      systems I have where this doesn't render well as-is is fixed at 550 and
      above, but let's bump it a bit more to be sure.
  12. 20 Jul, 2021 1 commit
    • Erik Faye-Lund's avatar
      footer: tweak columns a bit · 25a00575
      Erik Faye-Lund authored
      The columns look a bit confusing when they're not either fully
      horizontal or fully vertical. So let's change this so they stack
      horizontally on wide displays, and vertically on narrow displays.
  13. 14 Jul, 2021 1 commit
  14. 30 Jun, 2021 1 commit
  15. 18 Jun, 2021 1 commit
  16. 03 Jun, 2021 1 commit
  17. 02 Jun, 2021 1 commit
  18. 01 Jun, 2021 1 commit
  19. 19 May, 2021 11 commits
    • Erik Faye-Lund's avatar
      layout: harmonize margins around main · 4ebeff5d
      Erik Faye-Lund authored
      We're currently YOLOing the margins and padding around main pretty badly,
      leading to slight inconsistencies between the different page-types.
      This makes it consistent; we now have a margin of 3 (which is bootstrap
      for 1rem) around all main-tags. To render more or less the same, we need
      to make some page-specific adjustments, like reducing a jumbotron-margin
      on the home-page.
      The only functional change should be the margin at the bottom of the
      404-page, which is not smaller, like on other pages. It seems better to
      be consistent here.
    • Erik Faye-Lund's avatar
      footer: use h6 instead of strong · d8b10296
      Erik Faye-Lund authored
      This makes the headings a bit semantically stronger, but slightly
      changes the styling; we now get some spacing under the headings, and
      they're a bit less heavy.
    • Erik Faye-Lund's avatar
      footer: simplify coloring · 8200f391
      Erik Faye-Lund authored
      Instead of setting the color everywhere just to avoid setting the color
      on the headers, set the colors on the headers, and make links in the
      footer inherit the color setting.
      While we're at it, set the color to text-dark instead of text-body
      (which is the default). This just decreases the contrast here ever so
      slightly, to give these heading a tiny bit less emphasis. The difference
      is almost impossible to see, but it makes a bit more semantic sense.
    • Erik Faye-Lund's avatar
    • Erik Faye-Lund's avatar
      footer: do not use list for non-list column · 964d566c
      Erik Faye-Lund authored
      This isn't a list, so let's not use a list for it. It's just two
      independent items, and it makes the hard-coded padding a bit less
      awkward by turning them into paragraphs.
    • Erik Faye-Lund's avatar
      drivers: drop pointless col-classes · 2cc5a572
      Erik Faye-Lund authored
      We never align these next to each other, because they're not in a
      row-tag to start with. And that's fine, but these col-tags makes no
      sense this way. So let's just remove them.
    • Erik Faye-Lund's avatar
      apis: clean up alert in api-list · 9154f48a
      Erik Faye-Lund authored
      We don't really need to specify col-12 for this one, as it doesn't do
      anyhing funky, it's just another div at the end.
      But while we're at it, move it out of the row, because otherwise it'll
      be a bit too large, due to negative margins. This makes this look a bit
      less oddly sized compared to the rest of the content.
    • Erik Faye-Lund's avatar
      frontpage: simplify jumbotron · d63c1046
      Erik Faye-Lund authored
      The text-div isn't useful; it has no styling, and it doesn't force any
      layout decisions. Just get rid of it.
    • Erik Faye-Lund's avatar
      layout: drop unused script · 951bac6d
      Erik Faye-Lund authored and Erik Faye-Lund's avatar Erik Faye-Lund committed
      We don't use the bootstrap components that require poppler, so we can
      drop the entire script.
    • Eric Engestrom's avatar
      release 21.1.1 · 9516c1b0
      Eric Engestrom authored
    • Eric Engestrom's avatar
      release 21.1.0 · b941a59f
      Eric Engestrom authored
  20. 13 May, 2021 1 commit
  21. 11 May, 2021 1 commit
  22. 06 May, 2021 1 commit
  23. 26 Apr, 2021 1 commit
  24. 22 Apr, 2021 5 commits