Skip to content
Snippets Groups Projects
Commit ad8c909a authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Documentation: make sure links are one line long

parent b4d4a1f4
No related branches found
No related tags found
1 merge request!51Improve (and provide some fixes in) publications and documentation
Pipeline #28590 passed
......@@ -17,10 +17,10 @@
box-sizing: border-box;
}
.tileWrapper[size="big"] .tile {
padding: 40px 40px 40px 45px;
padding: 40px 35px 40px 45px;
}
.tileWrapper[size="small"] .tile {
padding: 30px 30px 30px 35px;
padding: 30px 25px 30px 35px;
}
.nonTouch .tile {
transition: 0.05s ease-out;
......
......@@ -37,7 +37,7 @@ title: Documentation - Frama-C
<li><a href="/html/acsl.html">Description page</a></li>
<li><a href="/download/acsl.pdf">Language Reference</a></li>
<li><a href="/download/frama-c-acsl-implementation.pdf">Language Implementation</a></li>
<li><a href="https://github.com/acsl-language/acsl">Official ACSL Git Repository</a></li>
<li><a href="https://github.com/acsl-language/acsl">ACSL Git Repository</a></li>
<li><a href="https://github.com/fraunhoferfokus/acsl-by-example">ACSL by Example</a></li>
</ul>
</div>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment