diff --git a/libs/gtkmm2ext/bindings.cc b/libs/gtkmm2ext/bindings.cc index a001b5b2d3..b08a5b8b92 100644 --- a/libs/gtkmm2ext/bindings.cc +++ b/libs/gtkmm2ext/bindings.cc @@ -871,6 +871,7 @@ Bindings::save_all_bindings_as_html (ostream& ostr, bool include_action_list) ostr << " h3 { margin: 0.75em 0 0.25em 0; line-height: 1em; }\n"; ostr << " td, th { padding: 6px; border: 1px inset; }\n"; ostr << " span { font-family:monospace; margin: 0px; }\n"; + ostr << " div.mono { font-family:monospace; margin: 0px; }\n"; ostr << "\n"; ostr << "\n\n"; @@ -905,7 +906,8 @@ Bindings::save_all_bindings_as_html (ostream& ostr, bool include_action_list) ostr << "\n\n"; ostr << "\n\n"; ostr << "\n\n"; ostr << "\n\n"; ostr << "
\n\n"; - ostr << "

Partial List of Available Actions { => with current shortcut, where applicable }

\n\n"; + ostr << "

Partial List of Available Actions { => with current shortcut, where applicable }

\n"; + ostr << "
\n"; { vector paths; vector labels; @@ -928,6 +930,7 @@ Bindings::save_all_bindings_as_html (ostream& ostr, bool include_action_list) } } } + ostr << "
\n"; ostr << "
\n\n";