Skip to content

Commit

Permalink
Fix highlight.js integration 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
Krzysztof-Cieslak committed Apr 24, 2020
1 parent be8d397 commit 6de20fc
Show file tree
Hide file tree
Showing 4 changed files with 8 additions and 4 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -392,6 +392,7 @@ packages
*.sln.iml

release.cmd
releaseDocs.cmd
.ionide/
_public
temp
7 changes: 6 additions & 1 deletion docs/generators/partials/footer.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -29,4 +29,9 @@ let footer (ctx : SiteContents) =
link [Rel "stylesheet"; Href (rootUrl + "/static/mermaid/mermaid.css")]
script [Src (rootUrl + "/static/mermaid/mermaid.js")] []
script [] [!! "mermaid.initialize({ startOnLoad: true });"]
]
script [Src "//cdnjs.cloudflare.com/ajax/libs/highlight.js/10.0.0/highlight.min.js"] []
script [Src "https://cdnjs.cloudflare.com/ajax/libs/highlight.js/10.0.0/languages/fsharp.min.js"] []
script [] [
!! "hljs.initHighlightingOnLoad()"
]
]
1 change: 1 addition & 0 deletions docs/generators/partials/header.fsx
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,7 @@ let header (ctx : SiteContents) page =
link [Rel "stylesheet"; Href (rootUrl + "/static/css/auto-complete.css")]
link [Rel "stylesheet"; Href (rootUrl + "/static/css/atom-one-dark-reasonable.css")]
link [Rel "stylesheet"; Href (rootUrl + "/static/css/theme.css")]
link [Rel "stylesheet"; Href "//cdnjs.cloudflare.com/ajax/libs/highlight.js/10.0.0/styles/atom-one-dark.min.css"]
if siteInfo.theme_variant.IsSome then
link [Rel "stylesheet"; Href (rootUrl + (sprintf "/static/css/theme-%s.css" siteInfo.theme_variant.Value))]
script [Src (rootUrl + "/static/js/jquery-3.3.1.min.js")] []
Expand Down
3 changes: 0 additions & 3 deletions docs/static/js/highlight.pack.js

This file was deleted.

0 comments on commit 6de20fc

Please sign in to comment.