diff --git a/overview/default.nix b/overview/default.nix index 00cff59d1..2738143d6 100644 --- a/overview/default.nix +++ b/overview/default.nix @@ -190,12 +190,11 @@ let ''; - many = - examples: - optionalString (!empty examples) '' - ${heading 2 "examples" "Examples"} - ${concatLines (map one examples)} - ''; + many = examples: '' + ${heading 2 "examples" "Examples"} + ${concatLines (map one examples)} + + ''; }; subgrants = rec { diff --git a/overview/style.css b/overview/style.css index b1eb45140..7c3b6e476 100644 --- a/overview/style.css +++ b/overview/style.css @@ -336,6 +336,16 @@ div.code > pre /* for pygments output */ background-color: darkgreen; } +.button.example { + margin-bottom: 15px; + border-radius: 5px; + padding: 5px +} + +.button.example:hover { + background-color: darkgreen; +} + details > summary > h2, details > summary > h3 { display: inline; }