Commits · 251459cf17f3cc4ef7af095e0fcaddff279a9b4b · pub / Frama-C Website

Nov 09, 2021
- CSS Lint · 251459cf
  Allan Blanchard authored 3 years ago
  
  251459cf
- Fixes CSS syntax · a7b5e580
  Allan Blanchard authored 3 years ago
  
  a7b5e580
- Improve old mailing list display · 10eef179
  Allan Blanchard authored 3 years ago
  
  10eef179
Jul 08, 2021
- Accept longer event titles · 6d74d2c8
  Allan Blanchard authored 3 years ago
  
  6d74d2c8
Dec 11, 2020
- We can now reach both news and overview from home · f43974a5
  Allan Blanchard authored 4 years ago
  
  f43974a5
Nov 25, 2020
- Cleans unused CSS · 517af850
  Allan Blanchard authored 4 years ago
  
  517af850
- Fix community display on contact page · c8efdb8d
  Allan Blanchard authored 4 years ago
  
  c8efdb8d
Nov 18, 2020
- Lower margin in portrait mode · d7a73759
  Allan Blanchard authored 4 years ago
  
  d7a73759
- Adds an arrow on main page · fcafc46f
  Allan Blanchard authored 4 years ago
  
  fcafc46f
- Main index section centered · 2769ea6f
  Allan Blanchard authored 4 years ago
  
  2769ea6f
Nov 16, 2020
- Adds slicing documentation in quick access · f7d51439
  Allan Blanchard authored 4 years ago
  
  f7d51439
Nov 02, 2020
- restore swiper css for safety · eb7caf12
  Augustin Lemesle authored 4 years ago
  
  eb7caf12
- clean css of changelog · 26c4d1fa
  Augustin Lemesle authored 4 years ago
  
  26c4d1fa
- further CSS clean · 6550014f
  Augustin Lemesle authored 4 years ago
  
  6550014f
- re add changelog css (as not generated offline) · c9f97f05
  Augustin Lemesle authored 4 years ago
  
  c9f97f05
- initial clean of css by tool · 5addf516
  Augustin Lemesle authored 4 years ago
  
  5addf516
- move swiper.css to html for detection by purifycss · cfea273c
  Augustin Lemesle authored 4 years ago
  
  cfea273c
Oct 28, 2020
- Fixes blog CSS · b2e2575f
  Allan Blanchard authored 4 years ago
  
  b2e2575f
Oct 27, 2020
- Better attachment (not perfect though) · a508bc33
  Allan Blanchard authored 4 years ago
  
  a508bc33
- Publication CSS now checks Nav presence · fdf0ab7c
  Allan Blanchard authored 4 years ago
  
  fdf0ab7c
- Force max-width for version block · a065c386
  Allan Blanchard authored 4 years ago
  
  a065c386
- Reorganizes Get Frama-C page · c49118e9
  Allan Blanchard authored 4 years ago
  
  c49118e9
Oct 26, 2020
- Fixes version display on narrow screens · 204025ef
  Allan Blanchard authored 4 years ago
  
  204025ef
- Improved version pages · cdaef30a
  Allan Blanchard authored 4 years ago
  
  cdaef30a
Oct 23, 2020
- fix swiper arrows · 24f40b22
  Augustin Lemesle authored 4 years ago
  
  24f40b22
Sep 09, 2020
- Fixes timeline display in some situations · c162f276
  Allan Blanchard authored 4 years ago
  
  c162f276
- first clean css dependencies · 077ce585
  Augustin Lemesle authored 4 years ago
  
  077ce585
- Fixes home css · df7b5fff
  Allan Blanchard authored 4 years ago
  
  df7b5fff
Sep 08, 2020
- Overview page · 89d2415e
  Allan Blanchard authored 4 years ago
  
  89d2415e
- remove case studies generation, remove some css · ed72a246
  Augustin Lemesle authored 4 years ago
  
  ed72a246
- moving anchor css · d9ece9cb
  Augustin Lemesle authored 4 years ago
  
  d9ece9cb
- add anchor to generator · 3c47b30d
  Augustin Lemesle authored 4 years ago
  
  3c47b30d
- further tab navigation · 25162216
  Augustin Lemesle authored 4 years ago
  
  25162216
- small css fix · 49d4a6e7
  Augustin Lemesle authored 4 years ago
  
  49d4a6e7
- add moving through overview with tab · a5252f46
  Augustin Lemesle authored 4 years ago
  
  a5252f46
- Remove tiles movement · 52b20f44
  Allan Blanchard authored 4 years ago
  
  52b20f44
- Underline links · 4bc8ddaf
  Allan Blanchard authored 4 years ago
  
  4bc8ddaf
- add color for tab navigation · 50680ac2
  Augustin Lemesle authored 4 years ago
  
  50680ac2
Sep 07, 2020
- More compact manuals section on Get Frama-C · 2e62c4ac
  Allan Blanchard authored 4 years ago
  
  2e62c4ac
- Changes tiles list title padding · 123c1564
  Allan Blanchard authored 4 years ago
  
  123c1564