Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Colibri WebSite
Commits
af66f658
Commit
af66f658
authored
Sep 01, 2020
by
Allan Blanchard
Browse files
Minor fixes
parent
58d5cc6e
Changes
3
Hide whitespace changes
Inline
Side-by-side
_fc-publications/README
View file @
af66f658
...
...
@@ -73,7 +73,7 @@ In other directories, it can be:
- thesis
- foundational
- tutorials
- other
s
- 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
_fc-publications/general/0-2009-jfla-s.md
View file @
af66f658
...
...
@@ -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
:
20
0
9
category
:
kernel
short
:
"
In
French.
Presentation
of
the
Frama-C
library
providing
its
notion
of
projects."
---
...
...
assets/css/publications.css
View file @
af66f658
...
...
@@ -37,7 +37,7 @@
}
details
{
border
:
1px
solid
#f7931c
;
border-radius
:
4
px
;
border-radius
:
5
px
;
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
;
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment