Update manual from a7237e9

Author: Travis CI

manual/latest/haskell-mode.css

@@ -2,24 +2,79 @@
 @import url("http://fonts.googleapis.com/css?family=Lato:400,400italic,700,700italic&subset=latin,latin-ext");
 @import url("http://fonts.googleapis.com/css?family=Source Code Pro");
 
-body {font-family: Lato, Arial, sans-serif; font-feature-settings: "kern", "liga", "clig", "calt"; font-size: 14pt; line-height: 1.35; }
-body {width: 800px; margin: 0 auto;}
-table.menu {width: 700px; margin-left: 50px; }
+body {
+    font-family: Lato, Arial, sans-serif;
+    font-feature-settings: "kern", "liga", "clig", "calt";
+    font-size: 1em;
+    line-height: 1.3em;
+}
+body {
+    width: 800px;
+    margin: 0 auto;
+}
+table.menu {
+    width: 700px;
+    margin-left: 50px;
+}
 /* makeinfo 5.2 */
-div.header p {margin: 0; text-align: right;}
-div.header {background-color: #9a98bd; background: linear-gradient(#CDCCDE,#A9A7CD);}
+div.header p {
+    margin: 0;
+    text-align: right;
+}
+div.header {
+    background-color: #9a98bd;
+    background: linear-gradient(#CDCCDE,#A9A7CD);
+}
 /* makeinfo 4.8 */
-div.node {background-color: #9a98bd; background: linear-gradient(#CDCCDE,#A9A7CD);}
-div.node p {margin: 0; text-align: right;}
-div.node hr {margin: 0;}
+div.node {
+    background-color: #9a98bd;
+    background: linear-gradient(#CDCCDE,#A9A7CD);
+}
+div.node p {
+    margin: 0;
+    text-align: right;
+}
+div.node hr {
+    margin: 0;
+}
 
-div.footnote h3 {display: inline; font-size: normal;}
+div.footnote h3 {
+    display: inline;
+    font-size: normal;
+}
 /* makeinfo up to 5.2 cannot pass on unicode characters without messing them up */
-a[rel="up"]:before {content: " \2191 "; /* ↑ */}
-a[rel="prev"]:before {content: " \2190 "; /* ← */}
-a[rel="next"]:before {content: " \2192 "; /* → */}
-code, kbd, samp, pre { font-family: "Source Code Pro", Menlo, Inconsolata, monospace;}
-kbd {font-style:normal}
+a[rel="up"]:before {
+    content: " \2191 "; /* ↑ */
+}
+a[rel="prev"]:before {
+    content: " \2190 "; /* ← */
+}
+a[rel="next"]:before {
+    content: " \2192 "; /* → */
+}
+code, kbd, samp, pre {
+    font-size: 85%;
+    font-family: "Source Code Pro", Menlo, Inconsolata, monospace;
+}
+code, pre, samp {
+    background-color: rgba(0,0,0,0.04);
+    border-radius: 3px;
+}
+
+kbd {
+    display: inline-block;
+    padding: 3px 5px;
+    font-style:normal;
+    line-height: 0.8em;
+    color: #555;
+    vertical-align: middle;
+    background-color: #fcfcfc;
+    border: solid 1px #ccc;
+    border-bottom-color: #bbb;
+    border-radius: 3px;
+    box-shadow: inset 0 -1px 0 #bbb;
+}
+
 div.background {
     position: fixed;
     z-index: -1;