diff --git a/Documentation/Doxyfile b/Documentation/Doxyfile
index afd7f084dfd..c16cee0e114 100644
--- a/Documentation/Doxyfile
+++ b/Documentation/Doxyfile
@@ -222,13 +222,13 @@ ALIASES += "PkgPicture{1}=
\1"
ALIASES += "PkgAuthors{1}=
\1
"
ALIASES += "PkgDesc{1}=\1
"
-ALIASES += "PkgSince{1}=\since \cgal \1"
-ALIASES += "PkgLicense{1}=\par \"License\" \1"
-ALIASES += "PkgDemo{2}=\par \"Demo\"
\1"
+ALIASES += "PkgSince{1}=
Introduced in: \cgal \1
"
+ALIASES += "PkgLicense{1}=
License: \1
"
+ALIASES += "PkgDemo{2}=
Demo: \1"
ALIASES += "PkgDescriptionEnd=\n\n
"
# this alias controls linking to the how to cite page, it is also
# responsible for adding the -YY{a,b} suffix to a cite
-ALIASES += "PkgBib{1}=\par \"BibTeX\"
\1-12b"
+ALIASES += "PkgBib{1}=
BibTeX: \1-12b"
ALIASES += "footnote{1}="
diff --git a/Documentation/doc/packages.txt b/Documentation/doc/packages.txt
index 9039576212c..abd0419a096 100644
--- a/Documentation/doc/packages.txt
+++ b/Documentation/doc/packages.txt
@@ -8,9 +8,6 @@ h1 {
font-size: 150%;
background-color: #EEEDF2;
}
-.section {
- margin:0;
-}
\endhtmlonly
diff --git a/Documentation/doxyassist.xml b/Documentation/doxyassist.xml
index 9264bf2876f..dcd3871e27a 100644
--- a/Documentation/doxyassist.xml
+++ b/Documentation/doxyassist.xml
@@ -1464,7 +1464,7 @@ namespace for the XML file to be processed properly. -->
false
- PkgDescriptionBegin{2}=\subsection \2 \1
- - PkgManuals{2}=\par "Manuals"\ref \1 "User Manual" <BR>\ref \2 "Reference Manual\"
+ - PkgManuals{2}=\ref \1 "User Manual" \ref \2 "Reference Manual\"