diff --git a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css index ea5b102c0b8..ab870f9aa05 100644 --- a/Documentation/doc/resources/1.8.13/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.13/cgal_stylesheet.css @@ -356,6 +356,7 @@ div.summary text-align: left; outline: none; font: 14px Roboto,sans-serif; + user-select: auto; } .active, .collapsible:hover { diff --git a/Documentation/doc/resources/1.8.14/cgal_stylesheet.css b/Documentation/doc/resources/1.8.14/cgal_stylesheet.css index 110cf066bcb..71fe3a10aff 100644 --- a/Documentation/doc/resources/1.8.14/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.14/cgal_stylesheet.css @@ -356,6 +356,7 @@ div.summary text-align: left; outline: none; font: 14px Roboto,sans-serif; + user-select: auto; } .active, .collapsible:hover { diff --git a/Documentation/doc/resources/1.8.20/cgal_stylesheet.css b/Documentation/doc/resources/1.8.20/cgal_stylesheet.css index 110cf066bcb..71fe3a10aff 100644 --- a/Documentation/doc/resources/1.8.20/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.20/cgal_stylesheet.css @@ -356,6 +356,7 @@ div.summary text-align: left; outline: none; font: 14px Roboto,sans-serif; + user-select: auto; } .active, .collapsible:hover { diff --git a/Documentation/doc/resources/1.8.4/cgal_stylesheet.css b/Documentation/doc/resources/1.8.4/cgal_stylesheet.css index 903855d3625..175ded2d604 100644 --- a/Documentation/doc/resources/1.8.4/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.8.4/cgal_stylesheet.css @@ -347,6 +347,7 @@ div.summary text-align: left; outline: none; font: 14px Roboto,sans-serif; + user-select: auto; } .active, .collapsible:hover { diff --git a/Documentation/doc/resources/1.9.3/cgal_stylesheet.css b/Documentation/doc/resources/1.9.3/cgal_stylesheet.css index 110cf066bcb..71fe3a10aff 100644 --- a/Documentation/doc/resources/1.9.3/cgal_stylesheet.css +++ b/Documentation/doc/resources/1.9.3/cgal_stylesheet.css @@ -356,6 +356,7 @@ div.summary text-align: left; outline: none; font: 14px Roboto,sans-serif; + user-select: auto; } .active, .collapsible:hover {