Commits · 50680ac2edd663fc4988efc8bb70a2d78c8a3a20 · pub / Frama-C Website · GitLab

Snippets Groups Projects

Sep 08, 2020
- 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
- Get Frama-C: Better display on mobile · a68efc0d
  Allan Blanchard authored 4 years ago
  
  a68efc0d
- More information on "Get Frama-C" · f0f2823d
  Allan Blanchard authored 4 years ago
  
  f0f2823d
Sep 04, 2020
- recup modif · 3eb887c4
  Augustin Lemesle authored 4 years ago
  
  3eb887c4
- Wider code screen on mobile · 9eae1c46
  Allan Blanchard authored 4 years ago
  
  9eae1c46
- place footer at bottom even if short pages · 7cbb31fc
  Augustin Lemesle authored 4 years ago
  
  7cbb31fc
- fix padding and some css · 0734fba2
  Augustin Lemesle authored 4 years ago
  
  0734fba2
- change menu transition at 1080px · 07f45c1b
  Augustin Lemesle authored 4 years ago
  
  07f45c1b
Sep 03, 2020
- Acknowledgements: slighlty changes CSS · 445a81dd
  Allan Blanchard authored 4 years ago
  
  445a81dd
- Better acknowledgements page · c0672f85
  Allan Blanchard authored 4 years ago
  
  c0672f85
- Documentation: make sure links are one line long · ad8c909a
  Allan Blanchard authored 4 years ago
  
  ad8c909a
- Publications: lighter details hover · ff930de8
  Allan Blanchard authored 4 years ago
  
  ff930de8
- Publications: fixes sidebar width · 5fd2e257
  Allan Blanchard authored 4 years ago
  
  5fd2e257
- Publications: Better details · 7c187841
  Allan Blanchard authored 4 years ago
  
  7c187841
- Publication: side menu - changes visibility · 940032d2
  Allan Blanchard authored 4 years ago
  
  - always visible on wide screen - named "categories" when in mobile mode - change font size to follow the rest of website
  940032d2
Sep 02, 2020
- No more wiki CSS · 4f01b967
  Allan Blanchard authored 4 years ago
  
  4f01b967
- Fast animation (avoids motion sickness) · 2291b1ea
  Allan Blanchard authored 4 years ago
  
  2291b1ea
Sep 01, 2020
- Improves ACSL page on mobile · ce681e6a
  Allan Blanchard authored 4 years ago
  
  ce681e6a
- Minor fixes · af66f658
  Allan Blanchard authored 4 years ago
  
  af66f658
Aug 31, 2020
- Invisible hover for publications without abstract · 58d5cc6e
  Allan Blanchard authored 4 years ago
  
  58d5cc6e
- Publication: changes global padding · 83e236a0
  Allan Blanchard authored 4 years ago
  
  83e236a0
- Removes right border on publication side menu · c6b0110e
  Allan Blanchard authored 4 years ago
  
  c6b0110e
Aug 28, 2020
- try prettier menu · c5c04c24
  Augustin Lemesle authored 4 years ago
  
  c5c04c24
Aug 27, 2020
- Simpler side menu for publications · 036530f4
  Allan Blanchard authored 4 years ago
  
  036530f4
- Side/top menu · 77b7685f
  Allan Blanchard authored 4 years ago
  
  77b7685f
- hover black when content is empty · 88765d6c
  Augustin Lemesle authored 4 years ago and Allan Blanchard committed 4 years ago
  
  88765d6c
- Renaming · 6b4327b6
  Allan Blanchard authored 4 years ago
  
  6b4327b6
- Better presentation for publications · 7658fbef
  Allan Blanchard authored 4 years ago
  
  7658fbef
- Resize H3 · 443ef2bf
  Allan Blanchard authored 4 years ago
  
  443ef2bf
- Small fixes for publications · 93265ba1
  Allan Blanchard authored 4 years ago
  
  93265ba1
- Homogeneous Publications page wrt the website · e0ac0b33
  Allan Blanchard authored 4 years ago
  
  e0ac0b33
- Fix some markdown formatting · 85e5f503
  Augustin Lemesle authored 5 years ago and Allan Blanchard committed 4 years ago
  
  85e5f503
- add download button, fix z-index · 7a1847a3
  Augustin Lemesle authored 4 years ago
  
  7a1847a3
- remove js from phone menu · d04e92a3
  Augustin Lemesle authored 4 years ago
  
  d04e92a3
Aug 25, 2020
- remove remaining big text and corresp css, and arrowTooltip unused css · 88c63975
  Augustin Lemesle authored 4 years ago
  
  88c63975
Aug 24, 2020
- Lighter color for Windows · d0e5c7bd
  Allan Blanchard authored 4 years ago
  
  d0e5c7bd
- Removes getFramaC gray background · 15033cfb
  Allan Blanchard authored 4 years ago
  
  15033cfb
- codeTabs to relativ size · c48d8c7b
  Augustin Lemesle authored 4 years ago
  
  c48d8c7b