diff --git a/content/en/_index.md b/content/en/_index.md index b9c7d2c..e0715a6 100644 --- a/content/en/_index.md +++ b/content/en/_index.md @@ -3,7 +3,7 @@ title: "DéCySif" sectiontitle: "Home" cascade: featured_image: '/images/Decysif.png' -description: "**Formal verification in the service of safety and security**" +description: "Formal verification in the service of safety and security" synopsis: "DéCySif is a regional R&D project funded by an i-Démo call and the Ile-de-France French region gathering AdaCore, Inria, OCamlPro and TrustInSoft. Its objective is to improve the safety and security of critical systems using diff --git a/content/en/contact.md b/content/en/contact.md index 945640a..46a75b8 100644 --- a/content/en/contact.md +++ b/content/en/contact.md @@ -3,7 +3,7 @@ title: Contact featured_image: '/images/Decysif.png' button_text: "Leave us a message!" layout: contact -description: "**Contact us!**" +description: "Contact us!" --- You can contact us by filling the form below. diff --git a/content/en/deliverables.md b/content/en/deliverables.md index 8a0b2c9..121fe9c 100644 --- a/content/en/deliverables.md +++ b/content/en/deliverables.md @@ -1,6 +1,6 @@ --- layout: "deliverables" -description: "**Formal verification in the service of safety and security**" +description: "Formal verification in the service of safety and security" title: "Deliverables" synopsis: "The DéCySif project provides a framework for the consortium to produce a set of deliverables as well as a series of diverse scientific papers, which will be compiled below as they are published." project_deliverables: diff --git a/content/en/post/00_kickoff_of_project_decysif.md b/content/en/post/00_kickoff_of_project_decysif.md index 5e0c46b..a4b88ee 100644 --- a/content/en/post/00_kickoff_of_project_decysif.md +++ b/content/en/post/00_kickoff_of_project_decysif.md @@ -1,6 +1,6 @@ --- date: 2023-12-19T10:58:08-04:00 -description: "**Project members meet for the launch!**" +description: "Project members meet for the launch!" featured_image: '/images/Decysif.png' thumbnail: '/images/logo_decysif_excellence_for_security_white.svg' tags: ["key", "event"] diff --git a/content/en/post/01_alt_ergo_2_6_release.md b/content/en/post/01_alt_ergo_2_6_release.md index 21f1bac..3905c18 100644 --- a/content/en/post/01_alt_ergo_2_6_release.md +++ b/content/en/post/01_alt_ergo_2_6_release.md @@ -1,6 +1,6 @@ --- date: 2024-10-18T11:22:33Z -description: "**Alt-Ergo 2.6 is sponsored by DéCySif**" +description: "Alt-Ergo 2.6 is sponsored by DéCySif" featured_image: '/images/Decysif.png' thumbnail: '/images/alt-ergo-8-colors-blank-bg.png' tags: ["Alt-Ergo", "Prover", "Bit-Vector", "Model Generation", "Optimization", "Release"] diff --git a/content/en/post/_index.md b/content/en/post/_index.md index 01689a3..471fea3 100644 --- a/content/en/post/_index.md +++ b/content/en/post/_index.md @@ -2,7 +2,7 @@ title: "News" date: 2017-03-02T12:00:00-05:00 type: page -description: "**Formal verification in the service of safety and security**" +description: "Formal verification in the service of safety and security" featured_image: '/images/Decysif.png' --- Read the latest updates on the project right here! diff --git a/content/fr/_index.md b/content/fr/_index.md index 6339b35..9cb729c 100644 --- a/content/fr/_index.md +++ b/content/fr/_index.md @@ -3,7 +3,7 @@ title: "DéCySif" sectiontitle: "Accueil" cascade: featured_image: '/images/Decysif.png' -description: "**La vérification formelle au service de la sécurité et la sûreté**" +description: "La vérification formelle au service de la sécurité et la sûreté" synopsis: "DéCySif est un projet i-Demo régional de R&D regroupant AdaCore, l'Inria, OCamlPro et TrustInSoft. Il vise à améliorer la sécurité et la sûreté des systèmes critiques en utilisant des outils de vérification formelle.
Le projet prendra place du **1er Novembre 2022** au **1er Novembre 2027**." diff --git a/content/fr/contact.md b/content/fr/contact.md index 85a792e..148b1ab 100644 --- a/content/fr/contact.md +++ b/content/fr/contact.md @@ -3,7 +3,7 @@ title: Contact featured_image: '/images/Decysif.png' button_text: "Laissez-nous un message !" layout: contact -description: "**Contactez nous !**" +description: "Contactez nous !" --- Pour nous contacter, merci de remplir le formulaire ci-dessous. diff --git a/content/fr/deliverables.md b/content/fr/deliverables.md index 859cdcc..320c0d6 100644 --- a/content/fr/deliverables.md +++ b/content/fr/deliverables.md @@ -1,6 +1,6 @@ --- layout: "deliverables" -description: "**La vérification formelle au service de la sécurité et la sûreté**" +description: "La vérification formelle au service de la sécurité et la sûreté" title: "Livrables" synopsis: "Le projet DéCySif fourni un cadre pour que le consortium puisse aboutir à un ensemble de livrables ainsi qu'une suite de papiers scientifiques divers qui seront réunis ci-dessous à mesure qu'ils voient le jour." project_deliverables: diff --git a/content/fr/post/01_alt_ergo_2_6_release.md b/content/fr/post/01_alt_ergo_2_6_release.md index e392609..3543b54 100644 --- a/content/fr/post/01_alt_ergo_2_6_release.md +++ b/content/fr/post/01_alt_ergo_2_6_release.md @@ -1,6 +1,6 @@ --- date: 2024-10-18T11:22:33Z -description: "**Alt-Ergo 2.6 est sponsorisé par DéCySif**" +description: "Alt-Ergo 2.6 est sponsorisé par DéCySif" featured_image: '/images/Decysif.png' thumbnail: '/images/alt-ergo-8-colors-blank-bg.png' tags: ["Alt-Ergo", "Prover", "Bit-Vector", "Génération de Modèles", "Optimisation", "Release"] diff --git a/layouts/partials/head-additions.html b/layouts/partials/head-additions.html index 01d7d5a..95c2a47 100644 --- a/layouts/partials/head-additions.html +++ b/layouts/partials/head-additions.html @@ -1,4 +1,4 @@ - + {{ $opts := dict "transpiler" "libsass" "targetPath" "css/style.css" }} {{ with resources.Get "sass/main.scss" | toCSS $opts | minify | fingerprint }} diff --git a/layouts/partials/page-header.html b/layouts/partials/page-header.html index f4f0c6c..81f8668 100644 --- a/layouts/partials/page-header.html +++ b/layouts/partials/page-header.html @@ -8,9 +8,11 @@ {{ with .Site.Params.header_logo }} {{ end }} - {{ with .Params.description | markdownify }} + {{ with .Params.description }}
- {{ . }} + + {{ . }} +
{{ end }} {{ end }}