Float exercises, inline emphasis, int literals

ws/Docbook/CustomLayer/webhelp/positioning.css.patch

---- positioning.css.orig	2017-09-18 10:14:19.575041451 +0200
-+++ positioning.css	2017-09-18 10:13:29.027701744 +0200
+--- positioning.css.orig	2017-10-14 09:40:46.682122317 +0200
++++ positioning.css	2017-10-14 09:39:32.787147200 +0200
 @@ -1,3 +1,8 @@
 +/*  
 + *   patched by: /usr/share/hdm-docbook-xsl/CustomLayer/webhelp/positioning.css.patch 
@@ -53,7 +53,7 @@
  #content .qandaset>table, #content .qandaset>table td, #content .calloutlist table, #content .calloutlist table td, #content .navfooter table, #content .navfooter table td {
      border: 0px solid;
  }
-@@ -375,3 +394,117 @@
+@@ -375,3 +394,124 @@
  
  }
  
@@ -171,3 +171,10 @@
 +:target {
 +   background-color: #ffa;
 +}
++
++/* inline emphasis role based extensions */
++.red {
++    color: red;
++    font-weight: bold !important;
++}
++

ws/Xmlmind/Patch/010_docbookCss.patch

@@ -40,3 +40,19 @@
  keycombo {
      display: inline;
  }
+--- /usr/share/xmlmind.orig/addon/config/docbook/css/inline2.imp	2017-06-12 15:37:30.000000000 +0200
++++ /usr/share/xmlmind/addon/config/docbook/css/inline2.imp	2017-10-14 09:58:40.909253180 +0200
+@@ -39,6 +39,13 @@
+     font-style: normal; 
+     background-color: #F0F080;
+ }
++/* HdM Extension */
++emphasis[role=red] {
++   color: red;
++   font-weight: bold !important;
++   font-style: normal; 
++}
++/* End HdM Extension */
+ 
+ emphasis > emphasis {
+     font-style: normal;