Commits · 35cb983de1aeca92df678e2c7cb6cdef065f64d6 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Aug 07, 2020
- refacto le js · 35cb983d
  Augustin Lemesle authored 4 years ago
  
  35cb983d
- Removes unused CSS classes · fc8b858c
  Allan Blanchard authored 4 years ago
  
  fc8b858c
- 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
- 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
- Fixes footer display on main page · 06c485dd
  Allan Blanchard authored 4 years ago
  
  06c485dd
- New version of the main page · 20af88aa
  Allan Blanchard authored 4 years ago
  
  20af88aa
- chrome does not break words · 71215604
  Augustin Lemesle authored 4 years ago
  
  71215604
- try fix publi · d6e4f4fd
  Augustin Lemesle authored 4 years ago
  
  d6e4f4fd
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 06, 2020
- Defines the font-size inside list as in paragraphs. · fb68c933
  David Bühler authored 4 years ago
  
  fb68c933
May 05, 2020
- 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
- indent on li · 252a6bd4
  Augustin Lemesle authored 4 years ago
  
  252a6bd4
May 04, 2020
- [get-frama-c] update instructions and change colors · a929ac65
  Andre Maroneze authored 4 years ago
  
  a929ac65
Apr 06, 2020
- [blog] various layout changes and fixes · cd21f839
  Andre Maroneze authored 4 years ago
  
  cd21f839
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
- minor fixes · 5bd49e7d
  Augustin Lemesle authored 5 years ago
  
  5bd49e7d
- Add number 3 on front page · cb810535
  Augustin Lemesle authored 5 years ago
  
  Minor fixes
  cb810535
Oct 24, 2019
- minor changes · dd3d0303
  Augustin Lemesle authored 5 years ago
  
  dd3d0303
Oct 02, 2019
- Added dokuwiki to menu instead of documentation · 3eb50897
  Augustin Lemesle authored 5 years ago
  
  Others
  3eb50897
Sep 20, 2019
- Added dokuwiki · 931fa4a1
  Augustin Lemesle authored 5 years ago
  
  931fa4a1
Sep 19, 2019
- minor fixes · 15a4a9c7
  Augustin Lemesle authored 5 years ago
  
  15a4a9c7
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