diff --git a/_data/nav.yml b/_data/nav.yml index 603788546f343f8bec83b8095f56a65e45f5b920..d49b13ca8aadce3e90cdf3d5cb32db17d4aea899 100644 --- a/_data/nav.yml +++ b/_data/nav.yml @@ -1,4 +1,4 @@ -- name: Overview +- name: About link: /html/overview.html id: overview - name: Features diff --git a/_layouts/overview_page.html b/_layouts/overview_page.html index 837378a67442cada6fc2fa2efd0678327dd2006b..62144dc35481385d2982ad9796de71c37eacf054 100644 --- a/_layouts/overview_page.html +++ b/_layouts/overview_page.html @@ -18,7 +18,7 @@ css: plugin {% endif %}
-

Overview of Frama-C

+

About Frama-C

{{ content }}
diff --git a/assets/css/home.css b/assets/css/home.css index 646c041b92945225d91a5e8d9f407fa6f1ff3827..f5308c10e4e29daa49be7964110fb5d04a08211a 100644 --- a/assets/css/home.css +++ b/assets/css/home.css @@ -174,7 +174,7 @@ opacity: 1; } -a.goDown { +div.goDown { position: absolute; bottom: 20px; text-align: center; @@ -182,7 +182,22 @@ a.goDown { z-index: 11; } -a.goDown .icon { +div.downlink { + display: inline-block; + width: 40vw; +} + +@media (min-width: 768px) { + div.downlink { + width: 30vw; + } +} + +div.downlink a { + font-size: 130% +} + +div.goDown .icon { color: #f79421; display: inline-block; font-size: 80%; diff --git a/index.html b/index.html index 7d2d7d59705aaf4415d140db065b8c8c6801d47e..80b8c856a159f861f170b6510fb2c776bd56ceba 100755 --- a/index.html +++ b/index.html @@ -31,8 +31,20 @@ description: "Frama-C - An open-source extensible and collaborative platform "icon icon-curly-right"> -
+
+ + +