Merge branch 'master' of git.frama-c.com:pub/pub.frama-c.com

_fc-plugins/aorai.md

@@ -88,7 +88,7 @@ reachability is not always obvious.
 
 ## Further Reading
 
-- [Short Documentation]({{page.manual_pdf}})
+- [Short documentation]({{page.manual_pdf}})
 - [A few simple examples](/download/frama-c-aorai-example.tgz)
 
 Other resources can be found at

_fc-plugins/e-acsl.md

@@ -8,7 +8,7 @@ additional:
   - name:  "E-ACSL language reference manual"
     short: "Language reference"
     link:  http://frama-c.com/download/e-acsl/e-acsl.pdf
-  - name:  "E-ACSL Language Reference Implementation Manual"
+  - name:  "E-ACSL language reference implementation manual"
     short: "Language implementation"
     link:  http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf
 distrib_mode: main
@@ -67,10 +67,10 @@ are executed, the script can be simply used as follows:
 The **E-ACSL** plug-in can use the results of both [RTE](rte.html) and
 [Eva](eva.html) plug-ins. It can be combined with several other plug-ins,
 such as [WP](wp.html), [Aoraï](aorai.html), [SecureFlow](secureflow.html),
-[StaDy](stady.html), [PathCrawler](pathcrawler.html), etc.
+[StaDy](stady.html), [PathCrawler](pathcrawler.html), [MetACSL](metacsl.html), etc.
 
 ## Further Reading
 
-- [E-ACSL User Manual]({{page.manual_pdf}})
+- [E-ACSL user manual]({{page.manual_pdf}})
 {% for add in page.additional %}
 - [{{add.name}}]({{add.link}}){% endfor %}

_fc-plugins/frama-clang.md

@@ -34,6 +34,11 @@ Further work is thus needed before Frama-Clang can claim to be a grown-up
 plug-in. Feel free to [contact us](mailto:support@frama-c.com) if you're
 interested in participating in its maturation.
 
+## Further Reading
+
+For more details about **Frama-Clang** plug-in,
+please consult the [Frama-Clang manual]({{page.manual_pdf}}).
+
 ## Installation
 
 ### Download

assets/css/tiles.css

@@ -27,9 +27,8 @@
   transition: 0.05s ease-out;
 }
 .nonTouch .tile:hover {
-  transform: translateY(-3px);
   z-index: 1;
-  box-shadow: 15px 15px 15px 0 var(--tile-shadow);
+  box-shadow: 5px 5px 15px 0 var(--tile-shadow);
 } 
 .nonTouch .tile:hover .tileTitle:before {
   color: var(--tile-hover);