<html lang="en">
<head>
<title>Quick Documentation</title>
<style type="text/css">
dt { font-weight: bold; }
dd { margin-bottom: 8px; margin-left: 16px; }
p { margin-bottom: 4px; }

code.function { font-weight: bold; }
code.type, code.return-type { font-style: italic; }
</style>
</head>
<body>[CONTENTS]</body>
</html>

<html lang="en">
<head>
<title>Quick Documentation</title>
<style type="text/css">
dt { font-weight: bold; }
dd { margin-bottom: 8px; margin-left: 16px; }
div.proto, p { margin-bottom: 4px; }

table.proto td { margin: 0; }

code.function { font-weight: bold; }
code.type, code.return-type { font-style: italic; }
</style>
</head>
<body>[CONTENTS]</body>
</html>

Improve the signature spacing in the quick documentation.
Improve the signature spacing in the quick documentation.
