Make Haddock style match docs style (#69)

This commit is contained in:
Alejandro Serrano 2020-01-09 14:31:31 +01:00 committed by GitHub
parent 4a051710a4
commit 68cc3d4162

View File

@ -1,3 +1,6 @@
@import url('https://fonts.googleapis.com/css?family=Fira+Mono:400,500,700&display=swap');
@import url('https://fonts.googleapis.com/css?family=Montserrat:400,600,700&display=swap');
/* @group Fundamentals */
* { margin: 0; padding: 0 }
@ -47,7 +50,7 @@ dd {
}
a { text-decoration: none; }
a[href]:link { color: #9E358F; }
a[href]:link { color: #6d2c71; }
a[href]:visited {color: #6F5F9C; }
a[href]:hover { text-decoration:underline; }
@ -100,7 +103,7 @@ body.js-enabled .hide-when-js-enabled {
}
#synopsis .show {
border: 1px solid #5E5184;
border: 1px solid #6d2c71;
padding: 0.7em;
max-height: 65vh;
}
@ -234,7 +237,7 @@ Display the package name on top of the menu links and center both elements:
*/
body, button {
font: 400 14px/1.4 'PT Sans',
font: 400 14px/1.4 'Montserrat', 'PT Sans',
/* Fallback Font Stack */
-apple-system,
BlinkMacSystemFont,
@ -260,7 +263,7 @@ table {
}
pre, code, kbd, samp, tt, .src {
font-family:monospace;
font-family: 'Fira Mono', monospace;;
}
.links, .link {
@ -290,7 +293,7 @@ pre, code, kbd, samp, tt, .src {
.caption, h1, h2, h3, h4, h5, h6, summary {
font-weight: bold;
color: #5E5184;
color: #512054;
margin: 1.5em 0 1em 0;
}
@ -431,8 +434,8 @@ blockquote {
}
#package-header {
background: #5E5184;
border-bottom: 5px solid rgba(69, 59, 97, 0.5);
background: #6d2c71;
border-bottom: 5px solid #512054;
color: #ddd;
position: relative;
font-size: 1.2em;
@ -456,7 +459,7 @@ table.info {
float: right;
padding: 0.5em 1em;
border: 1px solid #ddd;
color: rgb(78,98,114);
color: #512054;
background-color: #fff;
max-width: 60%;
border-spacing: 0;
@ -529,7 +532,7 @@ table.info {
}
#synopsis summary {
display: block;
display: none;
float: right;
width: 29px;
color: rgba(255,255,255,0);
@ -609,7 +612,7 @@ table.info {
margin: 0 0 0 1em;
}
#interface table { border-spacing: 2px; }
#interface table { border-spacing: 0px; }
#interface td {
vertical-align: top;
padding-left: 0.5em;