Respect viewport scaling on mobile devices.

Commit
a95b89750c9d0f4c1f125a122b4525229e9a351c
Author
Marius Peter <marius.peter@tutanota.com>
Author date
Committer
Marius Peter <marius.peter@tutanota.com>
Committer date
lib/views.ml
index 0fe9b86d..6738cd39 100644..100644
@@ -54,6 +54,7 @@
54 54 head []
55 55 [
56 56 title [] "%s" page_title;
57 Added: meta [ name "viewport"; content "width=device-width, initial_scale=1" ];
57 58 link [ rel "stylesheet"; href "/static/styles.css" ];
58 59 link [ rel "icon"; type_ "image/x-icon"; href "/static/git_icon.svg" ];
59 60 ]
@@ -80,8 +81,7 @@
80 81 let repos =
81 82 Sys.readdir config.git_project_root
82 83 |> Array.to_list
83 Removed: |> List.filter (fun name ->
84 Removed: not (name.[0] = '.'))
84 Added: |> List.filter (fun name -> not (name.[0] = '.'))
85 85 |> List.sort String.compare
86 86 in
87 87 let li_of_repo repo =