| 164 | } |
| 165 | |
| 166 | void |
| 167 | back_ref(ostream& os, const string& ref, bool prepend_newline = true) |
| 168 | { |
| 169 | |
| 170 | os << "<p class=\"" << (prepend_newline ? "spaced" : "unspaced") << "\"><a href=\"#" << ref |
| 171 | << "\">Back to " << escape(ref) << "</a>\n</p>\n"; |
| 172 | } |
| 173 | |
| 174 | void |
| 175 | sub_title(ostream& os, const string& title, int size) |
no test coverage detected