diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/index.html | 3 | ||||
| -rw-r--r-- | docs/style.css | 6 |
2 files changed, 8 insertions, 1 deletions
diff --git a/docs/index.html b/docs/index.html index 71303b6..3303ffc 100644 --- a/docs/index.html +++ b/docs/index.html @@ -3,8 +3,9 @@ <head> <meta charset="UTF-8" /> <meta name="viewport" content="width=device-width" /> + <meta name="description" content="Functional programming language based on pure bruijn-indexed lambda calculus." /> <link rel="stylesheet" href="style.css" type="text/css" media="all"> - <title>bruijn</title> + <title>bruijn programming language</title> </head> <body> <div class="header"> diff --git a/docs/style.css b/docs/style.css index dfee81e..472b212 100644 --- a/docs/style.css +++ b/docs/style.css @@ -53,6 +53,12 @@ a { margin: 0 auto; } +@media(max-width: 768px) { + body { + font-size: 1.1em; + } +} + @media(min-width: 768px) { .example { flex-flow: row nowrap; |