Commit 698f95e9 authored by Yann REGIS-GIANAS's avatar Yann REGIS-GIANAS

Several CSS adjustments.

parent 3a8c6468
Pipeline #60407 passed with stages
in 36 seconds
......@@ -97,13 +97,13 @@ yacc-style parser generators that many people are familiar with.
terminal symbol, a nonterminal symbol, or an anonymous rule.
A <b>library</b> of standard parameterized definitions, including options,
sequences, and lists, is bundled with Menhir. EBNF syntax is supported:
the modifiers <tt>?</tt>, <tt>+</tt>, and <tt>*</tt> are
the modifiers <code>?</code>, <code>+</code>, and <code>*</code> are
sugar for options, nonempty lists, and arbitrary lists.
Parameterized definitions are expanded away in a straightforward way.
</li><li>
Menhir's <b><tt>&percnt;inline</tt></b> keyword allows indicating that
Menhir's <b><code>&percnt;inline</code></b> keyword allows indicating that
a nonterminal symbol should be replaced with its definition at every
use site. This offers a second macro-expansion mechanism.
Together, these expansion mechanisms help write concise and elegant
......@@ -114,7 +114,7 @@ yacc-style parser generators that many people are familiar with.
</li><li>
In <tt>--table</tt> mode only, Menhir supports <b>incremental parsing</b>.
In <code>--table</code> mode only, Menhir supports <b>incremental parsing</b>.
This means that the state of the parser can be saved at any point (at no
cost) and that parsing can later be resumed from a saved state.
Furthermore, Menhir offers an <b>inspection API</b> which allows the
......@@ -154,7 +154,7 @@ yacc-style parser generators that many people are familiar with.
</li><li>
Instead of referring to semantic values via keywords: <tt>$1</tt>, <tt>$2</tt>,
Instead of referring to semantic values via keywords: <code>$1</code>, <code>$2</code>,
etc., Menhir allows semantic values to be explicitly <b>named</b>. In fact,
Menhir now has
<a href="https://gitlab.inria.fr/fpottier/menhir/blob/master/doc/new-rule-syntax-blog-post.md">fairly nice syntax</a>
......
......@@ -10,8 +10,9 @@ h1 {
margin-left: 0.4rem;
margin-right: 0.4rem;
font-family: 'Carter One', cursive;
padding-left: 20vw;
font-size: 12vh;
text-align: center;
text-align: left;
color: rgb(105,136,164);
font-variant: small-caps;
text-shadow: -2px 0 black, 0 2px black, 2px 0 black, 0 -2px black;
......@@ -75,7 +76,7 @@ div.contents {
}
code {
font-size: 1.3em;
font-size: 1.4em;
}
@media only screen and (min-width: 768px) {
......@@ -91,7 +92,7 @@ code {
div.contents {
font-family: sans-serif;
margin: auto;
width: 95%;
width: 100%;
background-color: rgb(105,136,164);
}
......
Markdown is supported
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