servius 1.2.2.0 → 1.2.3.0
raw patch · 3 files changed
+23/−4 lines, 3 files
Files
- ChangeLog.md +4/−0
- app/servius.hs +17/−2
- servius.cabal +2/−2
ChangeLog.md view
@@ -1,5 +1,9 @@ # ChangeLog for servius +## 1.2.3.0++* Use Bootstrap and Highlightjs for Markdown+ ## 1.2.2.0 * Viewport for Markdown
app/servius.hs view
@@ -10,7 +10,7 @@ import qualified Data.ByteString.Char8 as S8 import Data.Text (Text) import qualified Data.Text as T-import Data.Text.Encoding (encodeUtf8Builder, decodeUtf8With)+import Data.Text.Encoding (decodeUtf8With) import Data.Text.Encoding.Error (lenientDecode) import qualified Data.Text.Lazy as TL import Network.HTTP.Types (status200)@@ -81,8 +81,23 @@ <html> <head> <meta charset=utf-8>+ <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <title>#{title}++ <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/3.3.7/css/bootstrap.min.css" integrity="sha384-BVYiiSIFeK1dGmJRAkycuHAHRg32OmUcww7on3RYdg4Va+PmSTsz/K68vbdEjh4u" crossorigin="anonymous">+ <link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/styles/zenburn.min.css">++ <body>- <article>#{preEscapedToHtml html}+ <div .container>+ <div .row>+ <div .col-sm-2>+ <div .col-sm-8>+ <article>#{preEscapedToHtml html}++ <script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/highlight.min.js">+ <script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/languages/haskell.min.js">+ <script src="//cdnjs.cloudflare.com/ajax/libs/highlight.js/9.12.0/languages/rust.min.js">+ <script>hljs.initHighlightingOnLoad(); |]
servius.cabal view
@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 9c275b1b992c284f219cfbb5ac99011d456d3d7310f7638c06e1141c77de67b3+-- hash: 0addf38e86fe1815a2e071c049fc8f058cf7597cfc531545431d93db90fc3d47 name: servius-version: 1.2.2.0+version: 1.2.3.0 synopsis: Warp web server with template rendering description: Please see README.md at https://www.stackage.org/package/servius category: Web