Add custom css to documentation

Author: mtorpey

doc/digraphs.css

@@ -0,0 +1,9 @@
+/* digraphs.css: Digraphs-specific styles appended to manual.css by DigraphsMakeDoc */
+
+figure {
+    text-align: center;
+}
+
+figcaption {
+    margin: 1em 0;
+}

doc/prop.xml

@@ -1318,14 +1318,11 @@ true
     <Alt Only="HTML">
         <![CDATA[
         <figure>
-            <center>
-                <img height="200" src="m3.png"/>
-                    &nbsp;&nbsp;&nbsp;&nbsp;
-                <img height="200" src="n5.png"/>
-                <figcaption><p>The lattices <e>M3</e> and <e>N5</e>.</p></figcaption>
-            </center>
+            <img height="200" src="m3.png"/>
+            &nbsp;&nbsp;&nbsp;&nbsp;
+            <img height="200" src="n5.png"/>
+            <figcaption>The lattices <e>M3</e> and <e>N5</e>.</figcaption>
         </figure>
-        <br/>
         ]]>
     </Alt>
     &MUTABLE_RECOMPUTED_PROP;
@@ -1365,13 +1362,9 @@ false]]></Example>
     <Alt Only="HTML">
         <![CDATA[
         <figure>
-            <center>
-                <img height="200" src="n5.png"/>
-
-                <figcaption><p>The lattice <e>N5</e>.</p></figcaption>
-            </center>
+            <img height="200" src="n5.png"/>
+            <figcaption>The lattice <e>N5</e>.</figcaption>
         </figure>
-        <br/>
         ]]>
     </Alt>
 

gap/doc.g

@@ -31,9 +31,11 @@ BindGlobal("DIGRAPHS_DocXMLFiles",
             "utils.xml",
             "weights.xml"]);
 
+BindGlobal("DIGRAPHS_CustomCSSFile", "doc/digraphs.css");
+
 BindGlobal("DIGRAPHS_MakeDoc",
 function(pkgdir)
-  local PKG, temp, version, args;
+  local PKG, temp, version, args, docdir, main_css, custom_css;
 
   PKG := "Digraphs";
 
@@ -58,6 +60,15 @@ function(pkgdir)
   LoadPackage("GAPDoc");
   SetGapDocLaTeXOptions("utf8");
   CallFuncList(MakeGAPDocDoc, args);
-  CopyHTMLStyleFiles(Filename(pkgdir, "doc"));
+
+  # HTML styling
+  docdir := Filename(pkgdir, "doc");
+  CopyHTMLStyleFiles(docdir);
+  main_css := Filename(Directory(docdir), "manual.css");
+  custom_css := Filename(pkgdir, DIGRAPHS_CustomCSSFile);
+  if IsReadableFile(custom_css) and IsWritableFile(main_css) then
+    AppendTo(main_css, StringFile(custom_css));
+  fi;
+
   GAPDocManualLabFromSixFile(PKG, Filename(pkgdir, "doc/manual.six"));
 end);

makedoc.g

@@ -12,14 +12,17 @@ if not IsDirectoryPath("gap")
         "when reading makedoc.g\n");
   FORCE_QUIT_GAP(1);
 fi;
-if IsBoundGlobal("DIGRAPHS_DocXMLFiles") then
-  MakeReadWriteGlobal("DIGRAPHS_DocXMLFiles");
-  UnbindGlobal("DIGRAPHS_DocXMLFiles");
-fi;
-if IsBoundGlobal("DIGRAPHS_MakeDoc") then
-  MakeReadWriteGlobal("DIGRAPHS_MakeDoc");
-  UnbindGlobal("DIGRAPHS_MakeDoc");
-fi;
+
+for global in ["DIGRAPHS_DocXMLFiles",
+               "DIGRAPHS_MakeDoc",
+               "DIGRAPHS_CustomCSSFile"] do
+  if IsBoundGlobal(global) then
+    MakeReadWriteGlobal(global);
+    UnbindGlobal(global);
+  fi;
+od;
+Unbind(global);
+
 Read("gap/doc.g");
 DIGRAPHS_MakeDoc(DirectoryCurrent());
 FORCE_QUIT_GAP();