From b47794ee0238bf9b1db2853d87c9f1765379a45d Mon Sep 17 00:00:00 2001
From: Tommy Persson <tommmy.persson@liu.se>
Date: Thu, 1 Oct 2020 21:13:24 +0200
Subject: [PATCH] Work with devel env.
---
doc/local_ros_installation.md | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/local_ros_installation.md b/doc/local_ros_installation.md
index badc549..80afe7e 100644
--- a/doc/local_ros_installation.md
+++ b/doc/local_ros_installation.md
@@ -18,9 +18,9 @@ div {
background-color: lavender;
}
-<div>
- A simple dark alert—check it out!
-</div>
+<p style="height: 150px; width: 600px; background-color: lavender;">
+Test of styles.
+</p>
<hr nosize height=20>
<hr>
--
GitLab