user_doc.head.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'>
H1
{
	font-size: 180%;
}
H2
{
	font-size: 150%;
}
H3
{
	padding-left:10%;
	font-size: 120%;
}
H4
{
	padding-left:10%;
	font-style: italic;
	font-weight: normal;
	font-size: 90%;
}
</style>
</head>
<body>

<div class="qindex">

 <a class="qindex" href="http://www.fishshell.org"><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">Commands</a>
|
<a class="qindex" href="faq.html">FAQ</a>
|
<a class="qindex" href="license.html">License</a>
 
</div>