From fb10c9f7e96df77d69ede76195840653f7d34372 Mon Sep 17 00:00:00 2001 From: Michael Wallner Date: Thu, 7 Nov 2013 14:32:16 +0100 Subject: [PATCH] tweaks+disqus --- index.css | 8 +++++++- index.js | 1 + index.php | 14 ++++++++++++++ 3 files changed, 22 insertions(+), 1 deletion(-) diff --git a/index.css b/index.css index 9b36eb6..994405e 100644 --- a/index.css +++ b/index.css @@ -63,7 +63,8 @@ p, pre { } blockquote { - border: 1px solid #800000; + border-top: 1px solid #800000; + border-bottom: 1px solid #800000; background: #ffe4e1; margin: 2em 0; } @@ -134,6 +135,11 @@ li h3 a:hover { text-decoration: underline; } +#disqus_thread { + margin-top: 8em; + margin-right: 2em; +} + footer { font-size: smaller; text-align: center; diff --git a/index.js b/index.js index 5f384ca..feaf66e 100644 --- a/index.js +++ b/index.js @@ -31,6 +31,7 @@ function type(s, nn) { case "int": case "float": case "string": + case "resource": case "array": case "object": case "callable": diff --git a/index.php b/index.php index 7ae8e47..192c9ea 100644 --- a/index.php +++ b/index.php @@ -263,12 +263,26 @@ ob_start($s); + +
+ + + +