diff options
| author | Ben Sima <ben@bsima.me> | 2021-03-19 16:03:42 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2021-03-19 16:03:42 -0400 |
| commit | 477ea9f4614a9c3d41b9d2d9ad926878f39720fe (patch) | |
| tree | b45d7e517aa1055b0563d28f134c4fd28bb1e925 | |
| parent | 5ae01e7bf31f9a99ab240d74fcb4f5cf571e30a1 (diff) | |
Add label for private repos
| -rw-r--r-- | Biz/Devalloc.hs | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Biz/Devalloc.hs b/Biz/Devalloc.hs index 9d0b2ce..28bf50e 100644 --- a/Biz/Devalloc.hs +++ b/Biz/Devalloc.hs @@ -916,6 +916,16 @@ baseStyle = do Biz.Look.marginAll (px 0) Biz.Look.paddingAll (px 0) + ".badge" ? do + Clay.borderWidth (px 1) + Clay.borderColor Clay.grey + Clay.borderStyle Clay.solid + Biz.Look.borderRadiusAll (rem 2) + Clay.fontSize (rem 0.8) + Biz.Look.marginAll (rem 1) + Biz.Look.paddingX (rem 0.5) + Biz.Look.paddingY (rem 0.25) + "label" ? do Clay.display Clay.inlineBlock Clay.width (px 100) @@ -1214,7 +1224,9 @@ instance Lucid.ToHtml SelectRepo where Lucid.value_ <| GitHub.untagName <| GitHub.repoName repo ] + when (GitHub.repoPrivate repo) <| privateBadge maybe mempty (Lucid.p_ <. Lucid.toHtml) (GitHub.repoDescription repo) + privateBadge = Lucid.span_ [Lucid.class_ "badge"] "Private" -- * parts |