Commits · c089f4487399fb8c2e159f6180d0a3e838725cd2 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Aug 05, 2020
- Fixes footer for wide screens · c089f448
  Allan Blanchard authored 4 years ago
  
  c089f448
- 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
- chrome does not break words · 71215604
  Augustin Lemesle authored 4 years ago
  
  71215604
- try fix publi · d6e4f4fd
  Augustin Lemesle authored 4 years ago
  
  d6e4f4fd
Jun 26, 2020
- add Eva-related job offer · 64c0d179
  Andre Maroneze authored 4 years ago
  
  64c0d179
Jun 18, 2020
- move blog images to download · 8581ae5a
  Andre Maroneze authored 4 years ago
  
  8581ae5a
Jun 12, 2020
- [blog] fix broken image links · 4c99fd73
  Andre Maroneze authored 4 years ago
  
  4c99fd73
May 12, 2020
- Restores wrapping for sidenotes · 58be2577
  Allan Blanchard authored 4 years ago
  
  58be2577
- ACSL · a22c6714
  Allan Blanchard authored 4 years ago
  
  a22c6714
- New CSS tags to create sidenotes to the right of code. · b3929590
  David Bühler authored 4 years ago and Allan Blanchard committed 4 years ago
  
  b3929590
May 11, 2020
- [copyright] fix copyright style · 3b2500ef
  Loïc Correnson authored 4 years ago
  
  3b2500ef
- [get-frama-c] macOS installation · 9c7e0fbf
  Loïc Correnson authored 4 years ago
  
  9c7e0fbf
May 07, 2020
- Do not lock the active tabLink when on a plugin page. · be491dd3
  David Bühler authored 4 years ago
  
  The user should be able to return to the plugins list from a plugin page.
  be491dd3
- Prettier front matter and plugin list · 6ce5855f
  Augustin Lemesle authored 4 years ago
  
  6ce5855f
May 06, 2020
- [GUI] add feature page for GUI · 3b149b12
  Andre Maroneze authored 4 years ago
  
  3b149b12
- Defines the font-size inside list as in paragraphs. · fb68c933
  David Bühler authored 4 years ago
  
  fb68c933
- Redesigns the CSS for the plugin pages generated from markdown files. · bf919e2e
  David Bühler authored 4 years ago
  
  bf919e2e
- fix background of timeline · bd57333e
  Augustin Lemesle authored 4 years ago
  
  bd57333e
- add layouts for features · 9347b24f
  Augustin Lemesle authored 4 years ago
  
  9347b24f
- 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: shows more events on large screens, and less events on small screens. · 28f21142
  David Bühler authored 4 years ago
  
  28f21142
- 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: renames calendar into timeline. · d0c17c21
  David Bühler authored 4 years ago
  
  d0c17c21
- Timeline: always display the title of all events. · ea45c235
  David Bühler authored 4 years ago
  
  ea45c235
May 05, 2020
- minor posts · 9a002a86
  Augustin Lemesle authored 4 years ago
  
  9a002a86
- beautify post · 41ee7895
  Augustin Lemesle authored 4 years ago
  
  41ee7895
- All items have the same properties in the plugins list. · 4140c001
  David Bühler authored 4 years ago
  
  4140c001
- Now, there's just a padding left for lists · 9e7a2145
  Allan Blanchard authored 4 years ago
  
  9e7a2145
- Simplifies and generalizes CSS for lists · aac2efe3
  Allan Blanchard authored 4 years ago
  
  aac2efe3
- indent fix · 12309574
  Augustin Lemesle authored 4 years ago
  
  12309574