diff options
| -rw-r--r-- | _includes/header.html | 2 | ||||
| -rw-r--r-- | css/misc.css | 3 |
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; +} |