diff --git a/css/app.css b/css/app.css index e7d7b02..1ac0f54 100644 --- a/css/app.css +++ b/css/app.css @@ -123,7 +123,7 @@ body { margin-right: auto; padding-top: 10px; padding-bottom: 10px; - padding-left: 0.8rem; + padding-left: 0.7rem; line-height: 1.2; color: #FFF; @@ -136,7 +136,7 @@ body { padding-right: 5px; color: #a6e22e; - font-size: 0.8rem; + font-size: 0.7rem; font-weight: normal; font-family: Consolas,"Courier New",Courier,FreeMono,monospace; diff --git a/js/ditto.js b/js/ditto.js index b81f53b..9ef814c 100644 --- a/js/ditto.js +++ b/js/ditto.js @@ -118,7 +118,7 @@ function create_page_anchors() { this.id = 'h'+i+'-'+replace_symbols($(this).text()); }); - if (i === 2){ + if ((i === 2) && headers.length !== 0){ var ul_tag = $('