diff options
Diffstat (limited to 'repo/www')
| -rw-r--r-- | repo/www/Makefile | 2 | ||||
| -rw-r--r-- | repo/www/crumbs.css | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/repo/www/Makefile b/repo/www/Makefile index 6c41b45..9a2c90e 100644 --- a/repo/www/Makefile +++ b/repo/www/Makefile @@ -46,7 +46,7 @@ include $(dependencies) stylesheets_dir = $(OUT_DIR)/style stylesheets = $(foreach s,$(stylesheets_src),$(stylesheets_dir)/$(s)) -site: $(pages) $(indices) $(stylesheets) $(stylesheets) +site: $(pages) $(indices) $(stylesheets) # List of output folders. Compute this from the full list of HTML # pages, since $(page_folders) may be missing some intermediate diff --git a/repo/www/crumbs.css b/repo/www/crumbs.css index ef42620..acbe4f1 100644 --- a/repo/www/crumbs.css +++ b/repo/www/crumbs.css @@ -4,7 +4,8 @@ nav.breadcrumb ol { nav.breadcrumb li { /* Prefer inline-block to inline, to prevent wrapping inside - * individual crumbs. */ + * individual crumbs. + */ display: inline-block; } |