Docs: refer to illinois.edu, not uiuc.edu
[charm.git] / doc / dot.latex2html-init
index 595b553e50cd1c00b12d18467ba5014fd4bb0826..759a31bce46020a0ef9b586f999fb952e284d057 100644 (file)
@@ -104,8 +104,8 @@ $DEBUG = 0;
 #  of the navigation panel in the first node/page of a converted document
 #  will point to $EXTERNAL_UP_LINK. $EXTERNAL_UP_TITLE should be set
 #  to some text which describes this external link.
-$EXTERNAL_UP_LINK = "/manuals/";
-$EXTERNAL_UP_TITLE = "Other Manuals";
+$EXTERNAL_UP_LINK = "/help";
+$EXTERNAL_UP_TITLE = "Other Documentation";
 
 # If this is set then the resulting HTML will look marginally better if viewed 
 # with Netscape.
@@ -152,55 +152,23 @@ $TITLES_LANGUAGE = "english";
 # Feel free to mix and match buttons, titles, your own text, your logos,
 # and arbitrary HTML (the "." is the Perl concatenation operator).
 sub top_navigation_panel {
-    # "<!--#include virtual=\"/includes/top.shtml\"-->" .
-    #"<style type=\"text/css\"><!--@import url(\"manual.css\");--></style>" .
-    "<DIV class=\"ManualTitle\">Charm++ Parallel Programming System: Manual</DIV>\n" .
-
     # Now add a few buttons with a space between them
     #"$NEXT $UP $PREVIOUS $CONTENTS $INDEX $CUSTOM_BUTTONS" .
-    
-    #"<BR>\n" .                # Line break
-
-    "<center><table border=0 cellpadding=10><tr>" .
-       
-    # ... and the ``previous'' title
-    ($PREVIOUS_TITLE ? "<td><B> Previous:</B> $PREVIOUS_TITLE</td>\n" : undef) .
-   
+    '<ul id="nav-quicklinks">' . "\n" .
+       # ... and the ``previous'' title
+    ($PREVIOUS_TITLE ? '<li id="nav-prev"><strong>Previous:</strong>' . $PREVIOUS_TITLE . "</li>\n" : undef) .
     # Similarly with the ``up'' title ...
-    ($UP_TITLE ? "<td><B>Up:</B> $UP_TITLE</td>\n" : undef) . 
+    ($UP_TITLE ? '<li id="nav-up"><strong>Up:</strong>' . $UP_TITLE . "</li>\n" : undef) . 
     # If ``next'' section exists, add its title to the navigation panel
-    ($NEXT_TITLE ? "<td><B> Next:</B> $NEXT_TITLE</td>\n" : undef) . 
-    
-    "</tr></table></center>" .
+    ($NEXT_TITLE ? '<li id="nav-next"><strong> Next:</strong>' . $NEXT_TITLE . "</li>\n" : undef) . 
+    "</ul>" .
 
-    #  Line Break, horizontal rule (3-d dividing line) and new paragraph  
-    "<BR> <P>\n"               
+    '<div class="manualtitle">' .
+    ($ENV{'MANUALTITLE'} ? $ENV{'MANUALTITLE'} : undef) .
+    "</div>\n"
 }
 
 sub bot_navigation_panel {
-
-    #  Start with a horizontal rule (3-d dividing line)
-    "<HR>".                    
-    
-    # Now add a few buttons with a space between them
-    #"$NEXT $UP $PREVIOUS $CONTENTS $INDEX $CUSTOM_BUTTONS" .
-    
-    #"<BR>\n" .                # Line break
-       
-    "<center><table border=0 cellpadding=10><tr>" .
-       
-    # ... and the ``previous'' title
-    ($PREVIOUS_TITLE ? "<td><B> Previous:</B> $PREVIOUS_TITLE</td>\n" : undef) .
-   
-    # Similarly with the ``up'' title ...
-    ($UP_TITLE ? "<td><B>Up:</B> $UP_TITLE</td>\n" : undef) . 
-    # If ``next'' section exists, add its title to the navigation panel
-    ($NEXT_TITLE ? "<td><B> Next:</B> $NEXT_TITLE</td>\n" : undef) . 
-    
-    "</tr></table></center>"
-  
 }
 
 # Add more tags etc to the head section of each page
@@ -209,11 +177,17 @@ sub replace_morelinks {
 }
 
 sub head_tags {
-    "<!-- Inserted from l2h_init.pl -->\n" .
     "<link href='http://fonts.googleapis.com/css?family=Puritan' rel='stylesheet' type='text/css'>\n" .
     "<link href='http://fonts.googleapis.com/css?family=Droid Sans' rel='stylesheet' type='text/css'>\n" .
-    "<script src='https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js' type='text/javascript'></script>\n" .
-    "<!-- end of inserted tags -->\n"
+    "\n" .
+    "<replace_with_script src='https://ajax.googleapis.com/ajax/libs/jquery/1.7.2/jquery.min.js' type='text/javascript'></script>\n" .
+    "\n" .
+    "<replace_with_script src='http://charm.cs.illinois.edu/codemirror/lib/codemirror.js' type='text/javascript'></script>\n" .
+    "<replace_with_script src='http://charm.cs.illinois.edu/codemirror/mode/clike/clike.js' type='text/javascript'></script>\n" .
+    "<replace_with_script src='http://charm.cs.illinois.edu/codemirror/lib/util/runmode.js' type='text/javascript'></script>\n" .
+    "<link href='http://charm.cs.illinois.edu/codemirror/lib/codemirror.css' rel='stylesheet' type='text/css'>\n" .
+    "<link href='http://charm.cs.illinois.edu/codemirror/theme/lesser-dark.css' rel='stylesheet' type='text/css'>\n" .
+    "<replace_with_script src='hilitesyntax.js' type='text/javascript'></script>\n"
 }
 
 1;     # This must be the last line