diff --git a/configs/mydoc/config_designers.yml b/configs/mydoc/config_designers.yml index 5fbf52a..6d8a893 100644 --- a/configs/mydoc/config_designers.yml +++ b/configs/mydoc/config_designers.yml @@ -41,11 +41,22 @@ exclude: host: 127.0.0.1 feedback_email: tomjohnson1492@gmail.com -highlighter: rouge -markdown: kramdown -kramdown: - input: GFM - auto_ids: true +# Ideally use these settings once Jekyll and Github Pages sort out their issues... +#highlighter: rouge +#markdown: kramdown +#kramdown: +# input: GFM +# auto_ids: true + +# For now, these settings work: + +highlighter: pygments +markdown: redcarpet +redcarpet: + extensions: ["no_intra_emphasis", "fenced_code_blocks", "tables", "with_toc_data"] + + + collections: tooltips: diff --git a/mydoc/mydoc_search_configuration.md b/mydoc/mydoc_search_configuration.md index f1b8940..c9d79b8 100644 --- a/mydoc/mydoc_search_configuration.md +++ b/mydoc/mydoc_search_configuration.md @@ -14,7 +14,7 @@ The search is a simple search that looks at content in pages. It looks at titles However, the search doesn't work like google — you can't hit return and see a list of results on the search results page, with the keywords in bold. Instead, this search shows a list of page titles that contain keyword matches. It's fast, but simple. -## Excluding pages form search +## Excluding pages from search By default, every page is included in the search. Depending on the type of content you're including, you may find that some pages will break the JSON formatting. If that happens, then the search will no longer work.