fix og image and description tags

Decysif · Oct 23, 2024 · f849c69 · f849c69
1 parent e7677bd
commit f849c69
Show file tree

Hide file tree

Showing 12 changed files with 15 additions and 13 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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.<br />Le projet prendra place du **1er Novembre 2022** au **1er Novembre 2027**."

diff --git 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
@@ -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
@@ -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
@@ -1,4 +1,4 @@
-<meta property="og:image" content="/images/logo_decysif_excellence_for_security_black.svg"/>
+<meta property="og:image" content="/images/logo_svg_decysif_security_by_design_white_1.svg"/>
 {{ $opts := dict "transpiler" "libsass" "targetPath" "css/style.css" }}
 {{ with resources.Get "sass/main.scss" | toCSS $opts | minify | fingerprint }}
  <link rel="stylesheet" href="{{ .RelPermalink }}" integrity="{{ .Data.Integrity }}" crossorigin="anonymous">

diff --git a/layouts/partials/page-header.html b/layouts/partials/page-header.html
@@ -8,9 +8,11 @@
           {{ with .Site.Params.header_logo }}
         <img src="{{ relURL . }}" class="w100 mw5-ns" id="headerlogo" alt="{{ $.Site.Title }}" />
           {{ end }}
-          {{ with .Params.description | markdownify }}
+          {{ with .Params.description }}
         <div class="fw1 f5 f3-l white-80 measure-wide-l center lh-copy mt3 mb4 page-subtitle">
-          {{ . }}
+          <strong>
+            {{ . }}
+          </strong>
         </div>
           {{ end }}
         {{ end }}