Commit e0ac0b33 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Homogeneous Publications page wrt the website

parent 85e5f503
......@@ -14,19 +14,27 @@
.wikiPage:after {
display: none;
}
.wikiPage .wrap {
padding: 0 15px;
max-width: 720px;
.wikiPage > .wrap {
position: relative;
max-width: 1260px;
margin: 0 auto;
padding: 0 25px;
z-index: 2;
}
@media (min-width: 1024px) {
.wikiPage .wrap {
max-width: 840px;
@media (min-width: 768px) {
.wikiPage > .wrap {
padding: 28px 10px 0;
}
}
@media only screen and (min-width: 900px) {
.wikiPage > .wrap {
padding: 28px 25px 0;
}
}
@media (min-width: 1600px) {
.wikiPage .wrap {
max-width: 980px;
@media only screen and (min-width: 1260px) {
.wikiPage > .wrap {
padding-left: 0;
padding-right: 0;
}
}
.wikiPage .paragraphGroup p a {
......
---
layout: clean_page
title: Publications
---
This page is dedicated to publications related to Frama-C. It is not exhaustive,
but focuses on foundational papers for Frama-C and some of its plug-ins.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment