font size tweak

This commit is contained in:
Rasmus Lerdorf
2015-05-15 09:26:55 -07:00
parent 42bccf0fb9
commit f70128bcf9
2 changed files with 2 additions and 2 deletions

View File

@@ -229,7 +229,7 @@ type string, integer given</code></pre>
</section>
<section id="php7anon">
<p class="p" style="font-size:1.1em;text-align:left;">✔ Anonymous Classes</p>
<pre><code data-trim style="font-size:1.5em;">return new class($controller) implements Page {
<pre><code data-trim style="font-size:1.2em;">return new class($controller) implements Page {
public function __construct($controller) {
/* ... */
}

View File

@@ -50,7 +50,7 @@ type string, integer given
<break lines="1" section="php7anon"/>
<blurb fontsize="1.1em" align="left">✔ Anonymous Classes</blurb>
<example fontsize="1.5em" result='0' title=""><![CDATA[
<example fontsize="1.2em" result='0' title=""><![CDATA[
<?php
return new class($controller) implements Page {
public function __construct($controller) {