fish-shell/user_doc.head.html
axel 77f35c1b41 Add a little padding in the documentation stylesheet to make it easier to differ between different header levels
darcs-hash:20060509164146-ac50b-f165e89d3cf5d9a8db9826d804cd62b85bd6a3f7.gz
2006-05-10 02:41:46 +10:00

39 lines
773 B
HTML

<html>
<head>
<title>fish user documentation</title>
<link href="doxygen.css" rel="stylesheet" type="text/css">
<!--
Override the default doxygen stylesheet to make the difference between different header levels larger
-->
<style type='text/css'>
H2
{
}
H3
{
padding-left:2%;
}
</style>
</head>
<body>
<div class="qindex">
<a class="qindex" href="http://roo.no-ip.org/fish/index.html"><tt>fish</tt> home</a>
|
<a class="qindex" href="index.html">Main documentation page</a>
|
<a class="qindex" href="design.html">Design document</a>
|
<a class="qindex" href="commands.html">External commands</a>
|
<a class="qindex" href="builtins.html">Builtin commands</a>
|
<a class="qindex" href="faq.html">FAQ</a>
|
<a class="qindex" href="license.html">License</a>
</div>