aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--_includes/header.html2
-rw-r--r--css/misc.css3
2 files changed, 4 insertions, 1 deletions
diff --git a/_includes/header.html b/_includes/header.html
index 82c5b77..312f9a7 100644
--- a/_includes/header.html
+++ b/_includes/header.html
@@ -9,8 +9,8 @@
{% include bootstrap_css.html %}
- <link rel="stylesheet" href="{{ site.baseurl }}/css/misc.css">
<link rel="stylesheet" href="{{ site.baseurl }}/css/footer.css">
+ <link rel="stylesheet" href="{{ site.baseurl }}/css/misc.css">
<link rel="stylesheet" href="{{ site.baseurl }}/css/syntax.css">
{% include ie_compat.html %}
diff --git a/css/misc.css b/css/misc.css
index 06c6675..559ce44 100644
--- a/css/misc.css
+++ b/css/misc.css
@@ -1,3 +1,6 @@
.reasonable-width {
max-width: 400px;
}
+div.panel-body figure.highlight pre {
+ margin-bottom: 0;
+}