From 1f0c39744a481787b8f8fc53bb78620696d979cf Mon Sep 17 00:00:00 2001 From: Stephen Diehl Date: Mon, 19 Jan 2015 11:09:46 -0500 Subject: [PATCH] fix css bugs --- 003_lambda_calculus.md | 5 +++++ css/style.css | 4 ++++ 2 files changed, 9 insertions(+) diff --git a/003_lambda_calculus.md b/003_lambda_calculus.md index 3647968..de9a060 100644 --- a/003_lambda_calculus.md +++ b/003_lambda_calculus.md @@ -2,6 +2,9 @@ ![](img/titles/lambda_calculus.png) +

+

+ > *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: +
![](img/lambda.png) +
The terms are named are typically referred to in code by the following contractions. diff --git a/css/style.css b/css/style.css index cb218e3..9c749ee 100644 --- a/css/style.css +++ b/css/style.css @@ -27,6 +27,10 @@ pre code { text-align: center; } +.small .figure img { + height: 200px; +} + .pagetitle .figure { text-align: left !important; }