Nicer breaking.

index.html

@@ -64,8 +64,16 @@ <h1 class="jumbotron-heading">Tamarin Prover</h1>
           first-order properties.
           <!--and a message theory that models Diffie-Hellman exponentiation and exclusive-or (XOR), combined with a user-defined rewriting theory that has the Finite Variant Property, which includes subterm-convergent theories.-->
         </p>
-          <p class="lead text-muted">Tamarin has been successfully used to analyze or support the development of modern security protocols, including TLS&nbsp;1.3 [<a href="https://tls13tamarin.github.io/TLS13Tamarin/docs/tls13tamarin-draft21.pdf" target="_blank">1</a>,<a href="https://cispa.saarland/group/cremers/downloads/papers/CHSV2016-TLS13.pdf" target="_blank">2</a>], 5G&#8209;AKA [<a href="https://arxiv.org/pdf/1806.10360" target="_blank">3</a>,<a href="https://cispa.saarland/group/cremers/downloads/papers/CrDe2018-5G.pdf" target="_blank">4</a>], Noise [<a href="https://cispa.saarland/group/cremers/downloads/papers/Noise-Usenix2020.pdf" target="_blank">5</a>], EMV (Chip-and-pin) [<a href="https://arxiv.org/pdf/2006.08249.pdf" target="_blank">6</a>], and Apple&nbsp;iMessage [<a href="https://security.apple.com/blog/imessage-pq3/" target="_blank">7</a>].</p>
-        <p>
+          <p class="lead text-muted">Tamarin has been successfully used to analyze or support the development of modern security
+            protocols, including TLS&nbsp;1.3&nbsp;[<a
+              href="https://tls13tamarin.github.io/TLS13Tamarin/docs/tls13tamarin-draft21.pdf" target="_blank">1</a>,<a
+              href="https://cispa.saarland/group/cremers/downloads/papers/CHSV2016-TLS13.pdf" target="_blank">2</a>],
+            5G&#8209;AKA&nbsp;[<a href="https://arxiv.org/pdf/1806.10360" target="_blank">3</a>,<a
+              href="https://cispa.saarland/group/cremers/downloads/papers/CrDe2018-5G.pdf" target="_blank">4</a>], Noise&nbsp;[<a
+              href="https://cispa.saarland/group/cremers/downloads/papers/Noise-Usenix2020.pdf" target="_blank">5</a>],
+            EMV&nbsp;(Chip-and-pin)&nbsp;[<a href="https://arxiv.org/pdf/2006.08249.pdf" target="_blank">6</a>], and
+            Apple&nbsp;iMessage&nbsp;[<a href="https://security.apple.com/blog/imessage-pq3/" target="_blank">7</a>].</p>
+          <p>
           <a href="manual/index.html" class="btn btn-primary" target="_blank"><i class="fa fa-book" aria-hidden="true"></i> Get the docs</a>
           <a href="manual/master/book/002_installation.html" class="btn btn-secondary" target="_blank"><i class="fa fa-download" aria-hidden="true"></i> Install Tamarin</a>
           <!-- <a href="#" class="btn btn-secondary">Secondary action</a> -->