Commits · 077ce58511106a6a75933f2ccd681538caacc43e · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 09, 2020
- first clean css dependencies · 077ce585
  Augustin Lemesle authored 4 years ago
  
  077ce585
Sep 08, 2020
- add moving through overview with tab · a5252f46
  Augustin Lemesle authored 4 years ago
  
  a5252f46
- Underline links · 4bc8ddaf
  Allan Blanchard authored 4 years ago
  
  4bc8ddaf
Sep 02, 2020
- Fast animation (avoids motion sickness) · 2291b1ea
  Allan Blanchard authored 4 years ago
  
  2291b1ea
Aug 25, 2020
- remove remaining big text and corresp css, and arrowTooltip unused css · 88c63975
  Augustin Lemesle authored 4 years ago
  
  88c63975
Aug 07, 2020
- Better date display · df85c723
  Allan Blanchard authored 4 years ago
  
  df85c723
- Changes calendar event display for small size · a4902e93
  Allan Blanchard authored 4 years ago
  
  a4902e93
- quick fix css · 72379479
  Augustin Lemesle authored 4 years ago
  
  72379479
- recenter stuff · f5475be9
  Augustin Lemesle authored 4 years ago
  
  f5475be9
Aug 05, 2020
- add buttons to slider · 4471886e
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  4471886e
- MainPage: reduced space between timeline & download · e751ec3d
  Allan Blanchard authored 4 years ago
  
  e751ec3d
- Improves main page display in portrait mode · 4a8a202b
  Allan Blanchard authored 4 years ago
  
  4a8a202b
- Fixes footer display on main page · 06c485dd
  Allan Blanchard authored 4 years ago
  
  06c485dd
- No more particular landscape mode for main page · a58f34c4
  Allan Blanchard authored 4 years ago
  
  a58f34c4
- Main page: cosmetic changes · 09bbd17c
  Allan Blanchard authored 4 years ago
  
  09bbd17c
- New version of the main page · 20af88aa
  Allan Blanchard authored 4 years ago
  
  20af88aa
- First steps with main page · 3b4d9e34
  Allan Blanchard authored 4 years ago
  
  3b4d9e34
May 06, 2020
- fix background of timeline · bd57333e
  Augustin Lemesle authored 4 years ago
  
  bd57333e
- Timeline: removes the mask of the time line. · 00d4e9a5
  David Bühler authored 4 years ago
  
  The mask does not work on chrome, and leads to visual bugs on firefox when the window is resized.
  00d4e9a5
- Timeline: tweaks sizes and positions. · 22bbdf86
  David Bühler authored 4 years ago
  
  22bbdf86
- Timeline: fixes the size of the events in the timeline. · 4293a49d
  David Bühler authored 4 years ago
  
  4293a49d
- Timeline: moves the timeline before the event detail. · a8e34727
  David Bühler authored 4 years ago
  
  a8e34727
- Timeline: adds events, and removes the images. · 99275fee
  David Bühler authored 4 years ago
  
  99275fee
- Timeline: do not show the image of the events. · 57b1e05f
  David Bühler authored 4 years ago
  
  57b1e05f
- Timeline: always display the title of all events. · ea45c235
  David Bühler authored 4 years ago
  
  ea45c235
May 05, 2020
- malberti fixes · 2324ab7a
  Augustin Lemesle authored 4 years ago
  
  2324ab7a
Jan 10, 2020
- fix community · f767b18c
  Augustin Lemesle authored 5 years ago
  
  f767b18c
Nov 08, 2019
- fix css · 502cfdd9
  Augustin Lemesle authored 5 years ago
  
  502cfdd9
Nov 07, 2019
- Add number 3 on front page · cb810535
  Augustin Lemesle authored 5 years ago
  
  Minor fixes
  cb810535
Sep 10, 2019
- Added missing plugins · e17ee6cc
  Augustin Lemesle authored 5 years ago
  
  Images update
  e17ee6cc
Aug 27, 2019
- Change to jekyll · b34e818c
  Augustin Lemesle authored 5 years ago
  
  b34e818c