fix css bugs

This commit is contained in:
Stephen Diehl 2015-01-19 11:09:46 -05:00
parent 2b1169788e
commit 1f0c39744a
2 changed files with 9 additions and 0 deletions

View File

@ -2,6 +2,9 @@
![](img/titles/lambda_calculus.png)
</div>
<p class="halfbreak">
</p>
> *That language is an instrument of human reason, and not merely a medium for
> the expression of thought, is a truth generally admitted.*
>
@ -18,7 +21,9 @@ composition, function abstraction of a single variable. The **lambda calculus**
consists very simply of three terms and all valid recursive combinations
thereof:
<div class="small">
![](img/lambda.png)
</div>
The terms are named are typically referred to in code by the following
contractions.

View File

@ -27,6 +27,10 @@ pre code {
text-align: center;
}
.small .figure img {
height: 200px;
}
.pagetitle .figure {
text-align: left !important;
}