diff options
Diffstat (limited to 'provider')
-rw-r--r-- | provider/css/default.css | 20 | ||||
-rw-r--r-- | provider/templates/default.html | 1 |
2 files changed, 21 insertions, 0 deletions
diff --git a/provider/css/default.css b/provider/css/default.css index b8d562c..36cbb72 100644 --- a/provider/css/default.css +++ b/provider/css/default.css | |||
@@ -67,6 +67,26 @@ a { | |||
67 | color:inherit; | 67 | color:inherit; |
68 | } | 68 | } |
69 | 69 | ||
70 | header ul.links { | ||
71 | padding:1em 0 0 0; | ||
72 | margin:1em 0 0 0; | ||
73 | border-top:2px solid #f0f0f0; | ||
74 | display:block; | ||
75 | list-style:none outside none; | ||
76 | } | ||
77 | |||
78 | header ul.links:empty { display:none; } | ||
79 | |||
80 | header ul.links li { | ||
81 | margin:0; | ||
82 | padding:0; | ||
83 | display:inline; | ||
84 | } | ||
85 | |||
86 | header ul.links li:after { content:", "; } | ||
87 | |||
88 | header ul.links li:last-child:after { content: ""; } | ||
89 | |||
70 | p { | 90 | p { |
71 | margin-top:1em; | 91 | margin-top:1em; |
72 | margin-bottom:0; | 92 | margin-bottom:0; |
diff --git a/provider/templates/default.html b/provider/templates/default.html index 7cc15f4..ffdd5e2 100644 --- a/provider/templates/default.html +++ b/provider/templates/default.html | |||
@@ -18,6 +18,7 @@ | |||
18 | <header> | 18 | <header> |
19 | <h1 class="title"><a href="/" title="dirty-haskell.org">dirty-haskell.org</a>$if(title)$: $title$$endif$</h1> | 19 | <h1 class="title"><a href="/" title="dirty-haskell.org">dirty-haskell.org</a>$if(title)$: $title$$endif$</h1> |
20 | <h2 class="subtitle">It's not crazy — it's having fun with types.</h2> | 20 | <h2 class="subtitle">It's not crazy — it's having fun with types.</h2> |
21 | <ul class="links">$if(repo)$<li><a href="$repo$">Code repository</a></li>$endif$$if(base)$<li><a href="$base$">Base file</a></li>$endif$</ul> | ||
21 | </header> | 22 | </header> |
22 | $body$ | 23 | $body$ |
23 | <footer> | 24 | <footer> |