From f05a2271f319005bc2e0c2de2e9cf699033f38e2 Mon Sep 17 00:00:00 2001
From: Travis CI
Date: Sat, 19 Dec 2020 23:55:22 +0000
Subject: [PATCH] Deploy to GitHub Pages:
2b1e4665d15bc5c58d657879ac52890611c7d77e
---
develop/doc/html/_static/pygments.css | 2 +-
develop/doc/html/design/basics.html | 2 +-
develop/doc/html/design/channel.html | 2 +-
develop/doc/html/design/color_base.html | 2 +-
develop/doc/html/design/color_space.html | 2 +-
develop/doc/html/design/concepts.html | 2 +-
develop/doc/html/design/conclusions.html | 2 +-
develop/doc/html/design/dynamic_image.html | 2 +-
develop/doc/html/design/examples.html | 2 +-
develop/doc/html/design/extending.html | 2 +-
develop/doc/html/design/image.html | 2 +-
develop/doc/html/design/image_view.html | 2 +-
develop/doc/html/design/index.html | 2 +-
develop/doc/html/design/metafunctions.html | 2 +-
develop/doc/html/design/pixel.html | 2 +-
develop/doc/html/design/pixel_iterator.html | 2 +-
develop/doc/html/design/pixel_locator.html | 2 +-
develop/doc/html/design/point.html | 2 +-
develop/doc/html/design/technicalities.html | 2 +-
develop/doc/html/genindex.html | 2 +-
develop/doc/html/image_processing/affine-region-detectors.html | 2 +-
develop/doc/html/image_processing/basics.html | 2 +-
develop/doc/html/image_processing/index.html | 2 +-
develop/doc/html/image_processing/overview.html | 2 +-
develop/doc/html/index.html | 2 +-
develop/doc/html/installation.html | 2 +-
develop/doc/html/io.html | 2 +-
develop/doc/html/naming.html | 2 +-
develop/doc/html/numeric.html | 2 +-
develop/doc/html/search.html | 2 +-
develop/doc/html/toolbox.html | 2 +-
develop/doc/html/tutorial/gradient.html | 2 +-
develop/doc/html/tutorial/histogram.html | 2 +-
develop/doc/html/tutorial/video.html | 2 +-
34 files changed, 34 insertions(+), 34 deletions(-)
diff --git a/develop/doc/html/_static/pygments.css b/develop/doc/html/_static/pygments.css
index 96529c7bd..13b724337 100644
--- a/develop/doc/html/_static/pygments.css
+++ b/develop/doc/html/_static/pygments.css
@@ -1,4 +1,4 @@
-pre { line-height: 125%; margin: 0; }
+pre { line-height: 125%; }
td.linenos pre { color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #000000; background-color: #f0f0f0; padding-left: 5px; padding-right: 5px; }
td.linenos pre.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
diff --git a/develop/doc/html/design/basics.html b/develop/doc/html/design/basics.html
index ca44977ad..7a91d65fb 100644
--- a/develop/doc/html/design/basics.html
+++ b/develop/doc/html/design/basics.html
@@ -114,7 +114,7 @@ read the sections in order.