Learn more about these different git repos.
Other Git URLs
d245821
0434228
@@ -0,0 +1,40 @@
+ h1 {
+ font-family: Helvetica Neue;
+ font-size: 24px;
+ font-style: normal;
+ font-variant: normal;
+ font-weight: 700;
+ line-height: 38.4px;
+ }
+ h3 {
+ font-size: 14px;
+ line-height: 22.4px;
+ p {
+ font-family: Cantarell, Arial;
+ font-size: 15px;
+ font-weight: 400;
+ line-height: 18px;
+ blockquote {
+ font-family: sans-serif;
+ font-size: 21px;
+ line-height: 25.2px;
+ pre {
+ line-height: 16.8px;
@@ -1,5 +1,5 @@
@import url("cloud.css");
- @import url("http://fonts.googleapis.com/css?family=Comfortaa");
You could also just have used https here, but this is better :).
+ @import url("fonts.css");
.pagure-logo span {
background: url("pagure.png") no-repeat scroll 50% 0 transparent;
@@ -155,6 +155,8 @@
"codetrimcolor": "#79db32", # First Green
"footerbgcolor": "#FEFEFE",
+
+ "fontcssurl": "_static/site.css"
}
# Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = []
This PR takes over https://pagure.io/pagure/pull-request/1323 and fixes https://pagure.io/pagure/issue/1259
rebased
+1
Thanks :)
Pull-Request has been merged by pingou
You could also just have used https here, but this is better :).