diff --git a/_fc-publications/README b/_fc-publications/README index d43f3b6ecf745f6307e4ae96d626ab12479191b4..d09acc64c5da91343bb03c0b60f69ca14e4b7985 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 205b1b81df57f098d9cf1493017f2ec652e1b105..f25a2a1aaf05201b682b832b1daa9dfa5a5de4b3 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 ad78caade9578d497adc6d1662ca4e25472c2cd8..93ee8a7ce26d12d240492534bdc4f032426f9db4 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;