From 8cb5040483bd9849d4e6972e608aff7b2ae03dd3 Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Mon, 4 Oct 2021 12:28:14 +0200 Subject: pages: improvements on the module selection Signed-off-by: Alban Gruin --- src/pages.ml | 20 ++++++++++++++------ static/css/style.css | 4 ++++ 2 files changed, 18 insertions(+), 6 deletions(-) diff --git a/src/pages.ml b/src/pages.ml index aa4b369..a1bbc1e 100644 --- a/src/pages.ml +++ b/src/pages.ml @@ -51,7 +51,7 @@ let main = common {|
- +
@@ -108,14 +108,22 @@ let link lnk = let select module_id groups = let options = Seq.map (fun group -> " ") groups - |> List.of_seq - |> String.concat "\n" in + |> List.of_seq in + let num = string_of_int (List.length options) in + let options = String.concat "\n" options in common @@ {| +

Filtrer par groupe

+

+ Sélectionnez les groupes que vous souhaitez voir dans votre emploi + du temps. N'en sélectionnez aucun si vous les voulez tous. +

- |} ^ options ^ {| - - + + +
|} diff --git a/static/css/style.css b/static/css/style.css index 2ff6c67..82297f4 100644 --- a/static/css/style.css +++ b/static/css/style.css @@ -27,6 +27,10 @@ h1 a { color: #31363b; } +select { + width: 100%; +} + @media print { body, article { max-width: none; -- cgit v1.2.1