doc: Utility script to inject markup into manual page head sections
authorRamprasad Venkataraman <ramv@illinois.edu>
Fri, 27 Jul 2012 03:56:50 +0000 (22:56 -0500)
committerRamprasad Venkataraman <ramv@illinois.edu>
Mon, 30 Jul 2012 20:01:18 +0000 (15:01 -0500)
Use fonts from google web fonts collection

doc/dot.latex2html-init
doc/manual.css

index 3eb2c2b3d7b75c82e6539111aa5afaf59d01915c..595b553e50cd1c00b12d18467ba5014fd4bb0826 100644 (file)
@@ -154,8 +154,6 @@ $TITLES_LANGUAGE = "english";
 sub top_navigation_panel {
     # "<!--#include virtual=\"/includes/top.shtml\"-->" .
     #"<style type=\"text/css\"><!--@import url(\"manual.css\");--></style>" .
-               "<link href='http://fonts.googleapis.com/css?family=Puritan' rel='stylesheet' type='text/css'>" .
-
     "<DIV class=\"ManualTitle\">Charm++ Parallel Programming System: Manual</DIV>\n" .
 
     # Now add a few buttons with a space between them
@@ -205,4 +203,17 @@ sub bot_navigation_panel {
   
 }
 
+# Add more tags etc to the head section of each page
+sub replace_morelinks {
+    $_ =~ s/$more_links_mark/$more_links."\n".&head_tags()/e;
+}
+
+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"
+}
+
 1;     # This must be the last line
index 05f436d91832610ff91936d4c0bc064fb63fd47e..a9c3e116db2acb8afa01c88664cde045268503b5 100644 (file)
@@ -38,6 +38,10 @@ TD.eqno                      { }     /* equation-number cells */
 
 
 /* document-specific styles come next */
+body { font-family: Droid Sans, Arial, sans-serif; }
+h1, h2, h3 { font-family: Puritan, Verdana, Helvetica sans-serif; }
+.alltt { font-family: monospace; }
+
 html { background: #ffffff; }
 
 body {
@@ -48,7 +52,6 @@ body {
                -moz-border-radius: 20px; -webkit-border-radius: 20px; border-radius: 20px;
                box-shadow: 0px 2px #aaa;
                border: 1px solid #ccc;
-               font-family: Puritan, Verdana, Helvetica sans-serif;
 }
 
 DIV.ManualTitle        { padding: 3pt; text-align: center; font-size: x-large; font-weight: bold  }