From 10527bd221700b4db0cca491fdcc7adebbd8837c Mon Sep 17 00:00:00 2001
From: Frederic Junod <frederic.junod@camptocamp.com>
Date: Fri, 17 May 2019 15:38:53 +0200
Subject: [PATCH] Remove margin in full screen

In only affects Safari, in Chrome `margin: 0;` is in the default browser's style sheet.
---
 examples/full-screen-drag-rotate-and-zoom.css | 1 +
 examples/full-screen-source.css               | 1 +
 examples/full-screen.css                      | 1 +
 3 files changed, 3 insertions(+)

diff --git a/examples/full-screen-drag-rotate-and-zoom.css b/examples/full-screen-drag-rotate-and-zoom.css
index 1a4cbf846e..ead380e32a 100644
--- a/examples/full-screen-drag-rotate-and-zoom.css
+++ b/examples/full-screen-drag-rotate-and-zoom.css
@@ -1,5 +1,6 @@
 .map:-webkit-full-screen {
   height: 100%;
+  margin: 0;
 }
 .map:-ms-fullscreen {
   height: 100%;
diff --git a/examples/full-screen-source.css b/examples/full-screen-source.css
index 4032bd528b..958e346cc5 100644
--- a/examples/full-screen-source.css
+++ b/examples/full-screen-source.css
@@ -1,5 +1,6 @@
 .fullscreen:-webkit-full-screen {
   height: 100%;
+  margin: 0;
 }
 .fullscreen:-ms-fullscreen {
   height: 100%;
diff --git a/examples/full-screen.css b/examples/full-screen.css
index 494567cfe4..5bb198a848 100644
--- a/examples/full-screen.css
+++ b/examples/full-screen.css
@@ -1,5 +1,6 @@
 .map:-webkit-full-screen {
   height: 100%;
+  margin: 0;
 }
 .map:-ms-fullscreen {
   height: 100%;