doc: use symbols for navigation
authorRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 18:52:55 +0000 (13:52 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Tue, 7 Aug 2012 21:43:46 +0000 (16:43 -0500)
doc/assets/manual.css
doc/dot.latex2html-init
doc/markupSanitizer.py

index 37b548962d58ce71de2c44c677e5f01f2d0d4333..44fa69499fbdb269a496a6e3def286fc2c9d2078 100644 (file)
@@ -109,6 +109,20 @@ ul.manual-toc li a:hover {
                margin: 0px 1em;
 }
 
+.navsymbol {
+               font-weight:bold;
+               font-size: 130%;
+               line-height:70%;
+}
+
+#nav-quicklinks a {
+               text-decoration: none;
+}
+
+#nav-quicklinks a:hover {
+       color: #7b2e2e;
+}
+
 DIV.manualtitle        {
                display: inline-block;
                margin: 5px;
index 5c3183b2ae16608b1f2693b823afefb9b20165a0..fa6e15c591bf0c641ddf9624e01eba86f0228312 100644 (file)
@@ -156,9 +156,9 @@ sub top_navigation_panel {
     #"$NEXT $UP $PREVIOUS $CONTENTS $INDEX $CUSTOM_BUTTONS" .
     '<ul id="nav-quicklinks">' . "\n" .
        # ... and the ``previous'' title
-    ($PREVIOUS_TITLE ? '<li id="nav-prev"><strong>Previous:</strong>' . $PREVIOUS_TITLE . "</li>\n" : undef) .
+    ($PREVIOUS_TITLE ? '<li id="nav-prev">' . $PREVIOUS_TITLE . "</li>\n" : undef) .
     # If ``next'' section exists, add its title to the navigation panel
-    ($NEXT_TITLE ? '<li id="nav-next"><strong> Next:</strong>' . $NEXT_TITLE . "</li>\n" : undef) . 
+    ($NEXT_TITLE ? '<li id="nav-next">' . $NEXT_TITLE . "</li>\n" : undef) .
     "</ul>" .
 
     '<div class="manualtitle">' .
index 18d7632101e716913397a2c1ba8e435636fd2d64..ad539b1270a0cbb1bec1b5f63b412fc57e66703c 100755 (executable)
@@ -46,6 +46,22 @@ if navmenu:
         navmenuTOC = BeautifulSoup(open("tmp-navmenu.html"), "lxml")
         navmenuTOC = navmenuTOC.find('ul','manual-toc').extract()
         navmenu.append(navmenuTOC)
+
+    # Insert navigation symbols to prev and next links
+    prevsymbol = soup.new_tag('span')
+    prevsymbol['class'] = 'navsymbol'
+    prevsymbol.string = u'\xab'
+    prv = navmenu.find('li',id='nav-prev')
+    if prv:
+        prv.find('a').insert(0, prevsymbol)
+
+    nextsymbol = soup.new_tag('span')
+    nextsymbol['class'] = 'navsymbol'
+    nextsymbol.string = u'\xbb'
+    nxt = navmenu.find('li',id='nav-next')
+    if nxt:
+        nxt.find('a').append(nextsymbol)
+
     # Reinsert the navigation bar at the end
     soup.body.append(navmenu)