From af66f658bdff2384bdaf2fe830358bd8fe45abc9 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 1 Sep 2020 07:47:39 +0200
Subject: [PATCH] Minor fixes
---
_fc-publications/README | 2 +-
_fc-publications/general/0-2009-jfla-s.md | 2 +-
assets/css/publications.css | 11 ++++++-----
3 files changed, 8 insertions(+), 7 deletions(-)
diff --git a/_fc-publications/README b/_fc-publications/README
index d43f3b6e..d09acc64 100644
--- a/_fc-publications/README
+++ b/_fc-publications/README
@@ -73,7 +73,7 @@ In other directories, it can be:
- thesis
- foundational
- tutorials
-- others
+- other
Note that if you think you need a new category, it can be added, but the file
`html/publications.html` should be updated accordingly.
\ No newline at end of file
diff --git a/_fc-publications/general/0-2009-jfla-s.md b/_fc-publications/general/0-2009-jfla-s.md
index 205b1b81..f25a2a1a 100644
--- a/_fc-publications/general/0-2009-jfla-s.md
+++ b/_fc-publications/general/0-2009-jfla-s.md
@@ -3,7 +3,7 @@ plugin: "general"
authors: "Julien Signoles"
title: " Foncteurs impératifs et composés: la notion de projets dans Frama-C"
book: "Journées Francophones des Langages Applicatifs (JFLA)"
-year: 209
+year: 2009
category: kernel
short: "In French. Presentation of the Frama-C library providing its notion of projects."
---
diff --git a/assets/css/publications.css b/assets/css/publications.css
index ad78caad..93ee8a7c 100644
--- a/assets/css/publications.css
+++ b/assets/css/publications.css
@@ -37,7 +37,7 @@
}
details {
border: 1px solid #f7931c;
- border-radius: 4px;
+ border-radius: 5px;
padding: 1em 1em;
margin-bottom: 1em;
}
@@ -45,11 +45,12 @@ details[open] {
margin-bottom: 1em;
}
summary {
- margin: 1em 2em;
+ margin: 1em 0em 1em 2em;
+ cursor: pointer;
}
-
.empty:hover {
- color: #484848!important;
+ color: #484848!important;
+ cursor: text;
}
.menu-button {
display: block;
@@ -69,7 +70,6 @@ summary {
overflow-x: visible;
height: 100%;
width: 0;
- padding: 0 ;
}
.navigation li,
.navigation ul {
@@ -83,6 +83,7 @@ summary {
.navigation > ul {
font-size: 20px;
font-weight: bold;
+ padding-bottom: 30px;
}
.navigation > ul > li > ul {
font-size: 18px;
--
GitLab