Skip to content
Snippets Groups Projects
  1. Jul 31, 2019
    • Jaime Pérez Crespo's avatar
      Give up on indenting the resulting HTML. · a938fcb3
      Jaime Pérez Crespo authored
      It doesn't make much sense anyway. Makes the original templates harder to format, and browser developer tools can provide hierarchical indentation anyway. This allows us to save quite a few bytes per page, write cleaner templates, and forget about how it would look like in the resulting HTML.
  2. Nov 30, 2018
  3. Nov 28, 2018
  4. Oct 06, 2018
  5. May 13, 2018
  6. Feb 14, 2018
  7. Dec 08, 2017
    • Olimpia Magliulo's avatar
      Fix footer · df8e97cc
      Olimpia Magliulo authored
      - After adding padding and margin to the paragraph the footer was
      no longer working properly.
      - Paragraph in the footer changes to a div.
      df8e97cc
  8. Nov 28, 2017
  9. Nov 21, 2017
    • Olimpia Magliulo's avatar
      Change layout · 8988c471
      Olimpia Magliulo authored
      - 3 main elements: header, content and footer.
      - Header expects a logo on one corner and the language dropdown-
        menu on the other corner.
      - Footer sticks to the bottom of the page if there is no content, but
        is pushed to end of the page when content exceeds window height.
      - Default.css is reordered.
      - Changes are device-responsive and rtl-responsive.
      8988c471
  10. Nov 09, 2017
    • Olimpia Magliulo's avatar
      Stiky footer · 6fe0d94f
      Olimpia Magliulo authored
      Fixed footer at the bottom in fixed position. (+1 squashed commit)
      Squashed commits:
      [27ac007] footer
      6fe0d94f
  11. Oct 04, 2016
  12. Aug 25, 2016
  13. Feb 26, 2016
Loading