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

Changes tiles list title padding

parent a68efc0d
No related branches found
No related tags found
1 merge request!56Provide more information on the Get Frama-C page
Pipeline #28687 passed
......@@ -116,8 +116,9 @@
font-weight: 700;
margin-bottom: 25px;
font-size: 26px;
padding: 0 30px;
padding: 0 15px 0 20px;
height: auto;
text-align: left;
word-break: break-word;
}
@media (min-width: 768px) {
......
......@@ -81,7 +81,7 @@ opam depext --install -y frama-c</pre>
<h1 class="pageTitle">Manuals</h1>
<div class="tileWrapper" size="small">
<div class="tileWrapperTitle">
<span>Frama-C and ACSL</span>
<span>Frama-C &amp; ACSL</span>
</div>
<a class="tile" href="/download/frama-c-user-manual.pdf">
<h4 class="tileTitle"><span>Frama-C user manual</span></h4>
......
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