diff options
| author |  ridiculousfish <corydoras@ridiculousfish.com> | 2013-10-05 00:37:44 -0700 |
|---|---|---|
| committer | ridiculousfish <corydoras@ridiculousfish.com> | 2013-10-05 00:37:44 -0700 |
| commit | ad5ae9ba3b2107ac68f55ead4c7292cd1de23fc1 (patch) | |
| tree | d7072b66460d9988659dfb65b8d4a59d2ab8e95e /user_doc.head.html | |
| parent | 3788f462b401e9661c5dd478817c01519e910844 (diff) | |
New documentation UI, including tutorial.
Diffstat (limited to 'user_doc.head.html')
| -rw-r--r-- | user_doc.head.html | 153 |
1 files changed, 135 insertions, 18 deletions
diff --git a/user_doc.head.html b/user_doc.head.html index 7ac670ce..958a9691 100644 --- a/user_doc.head.html +++ b/user_doc.head.html @@ -2,41 +2,158 @@ <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 + +/* fish documentation CSS overrides */ + +/* No scrollbar on the body. Our columns are independently scrollable */ +body +{ + overflow: hidden; +} + +.fish_left_bar, .fish_right_bar, .fish_only_bar +{ + position: absolute; + top: 36px; + bottom: 0; + overflow-y: scroll; +} + +.fish_left_bar +{ + width: 250px; + color: white; +} +.fish_left_bar a { color: white; } +.fish_left_bar a:visited { color: inherit; } +.fish_right_bar +{ + margin-left: 250px; + margin-right: 0px; + padding: 0 0 0 20px; /* 20 px on left */ + background-color: white; + -moz-box-shadow: -5px 0px 5px -2px black; + -webkit-box-shadow: -5px 0px 5px -2px black; + box-shadow: -5px 0px 5px -2px black; +} + +.fish_right_bar p +{ + margin-right: 8px; +} + +.fish_left_big { width: 380px; } +.fish_right_little { margin-left: 380px; } + +.fish_left_medium { width: 280; } +.fish_right_medium { margin-left: 280; } + +.fish_left_little { width: 200px; } +.fish_right_big { margin-left: 200px; } + + +.fish_only_bar +{ + padding: 0px 20px; +} + +h1, h2, h3 { color: #1E335E; } + +h1 { font-size: 150%; } +h2 { font-size: 115%; } +h3 { font-size: 105%; } + +/* Don't show the header */ +div.header { display: none; } + +h1.interior_title, h1.interior_title_borderless { + color: #333; +} + +h1.interior_title { + padding-bottom: 10px; + border-bottom: 1px solid #AAA; +} + +div.contents { margin: 0px; } + +div.qindex { - font-size: 180%; + height: 30px; + line-height: 30px; + text-align: center; + background-image: none; + color: white; + border: none; } -H2 +.fish_left_bar, div.header, div.qindex { - font-size: 150%; + background-color: #1E335E; } -H3 + +div.qindex { - padding-left:10%; - font-size: 120%; + border: none; + padding: 3px 0px; + + /* Ensure the bottom border is visible over the left column */ + position: relative; + z-index: 2; } -H4 +div.qindex a { - padding-left:10%; - font-style: italic; - font-weight: normal; - font-size: 90%; + color: white; } + +/* Hide the doxygen logo */ +.footer { display: none; } + +/* Don't let pre elements create a minimum width on the right bar */ +.fish_right_bar pre { white-space:pre-wrap; } + +/* Adjust list */ +.fish_left_bar ul { + padding-left: 27px; + padding-right: 10px; +} +.fish_left_bar ul li { margin-bottom: 5px; } + +/* Tighter lists for the little (command) bar */ +.fish_left_little ul li { margin-bottom: 0; } + +/* Adjust sublists */ +.fish_left_bar ul ul { padding-left: 17px; } +.fish_left_bar ul ul li { margin-bottom: 0; } + +/* Link hover */ +.fish_left_bar a:hover { + text-decoration: none; + background-color: inherit; + color: #99BBFF; +} + +/* Horizontal bar */ +hr { + height: 1px; + border: 0; + background-color: #AAA; +} + </style> </head> <body> <div class="qindex"> - <a class="qindex" href="http://fishshell.com/"><tt>fish</tt> home</a> + <a class="qindex" href="http://fishshell.com/"><tt>fish</tt> shell</a> +| + <a class="qindex" href="index.html">Documentation</a> | - <a class="qindex" href="index.html">Main documentation page</a> + <a class="qindex" href="tutorial.html">Tutorial</a> | -<a class="qindex" href="design.html">Design document</a> +<a class="qindex" href="design.html">Design</a> | <a class="qindex" href="commands.html">Commands</a> | |