Commits · 7a716fff24266dbeb3cfe8119a90658181f3469e · pub / Frama-C Website · GitLab

Snippets Groups Projects

Aug 07, 2020
- Relaxes tiles right padding · 7a716fff
  Allan Blanchard authored 4 years ago
  
  7a716fff
- Changes some tiles threshold · f6386bf0
  Allan Blanchard authored 4 years ago
  
  f6386bf0
- Removes unused CSS classes · fc8b858c
  Allan Blanchard authored 4 years ago
  
  fc8b858c
- Generalize tiles and use it for plugins · ca75a1cf
  Allan Blanchard authored 4 years ago
  
  ca75a1cf
- Generic (small) tiles · 678f4d0d
  Allan Blanchard authored 4 years ago
  
  678f4d0d
- Documentation CSS is now in the rigth file · 4289abe8
  Allan Blanchard authored 4 years ago
  
  4289abe8
Aug 06, 2020
- Darker links · aba7bef3
  Allan Blanchard authored 4 years ago
  
  aba7bef3
- Fixes (again) tiles display and simplifies it · c8072c20
  Allan Blanchard authored 4 years ago
  
  c8072c20
- Better links display in documentation · 99467aa2
  Allan Blanchard authored 4 years ago
  
  99467aa2
- Fixes documentation tiles display · 56dba410
  Allan Blanchard authored 4 years ago
  
  56dba410
- New documentation page · 343afe79
  Allan Blanchard authored 4 years ago
  
  343afe79
Aug 05, 2020
- Fixes feature list display in features page · 6a038ca1
  Allan Blanchard authored 4 years ago
  
  6a038ca1
- add buttons to slider · 4471886e
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  4471886e
- Removes empty CSS rule · a4739dd6
  Allan Blanchard authored 4 years ago
  
  a4739dd6
- 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
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
- 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: 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