diff --git a/_fc-plugins/aorai.md b/_fc-plugins/aorai.md
index 6a7b874b1ce475720c769d970a163ef0061601ac..72a79f76ca4912228993dd3e47f590eba17a9438 100644
--- a/_fc-plugins/aorai.md
+++ b/_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
diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 2e0c913494cde3d8b8143eb7c27f65f7b5388e2c..5fca38639b97f1d96944df9159d7f618fe971dc6 100644
--- a/_fc-plugins/e-acsl.md
+++ b/_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 %}
diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md
index 424a895e0ab46cc64d6a307b213362dc3699bd04..0ee97673ee6e1dbcf65c9cd0c958ec43d0449ce9 100644
--- a/_fc-plugins/frama-clang.md
+++ b/_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
diff --git a/assets/css/tiles.css b/assets/css/tiles.css
index 1886469cc015192d796a7206bc93fe70899503d4..cbfc9cb0c8fb43c0ad09fd84d4fff773b93c0a61 100644
--- a/assets/css/tiles.css
+++ b/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);