Load bugs.css file in documentation html pages.

[debbugs.git] / html / Developer.html.in
diff --git a/html/Developer.html.in b/html/Developer.html.in

index d876d91dbaa9ceec1cd07922b6b1ff0d01cb7b10..4e14355c96a899c07b2c168e546182803004d0cb 100644 (file)
--- a/html/Developer.html.in
+++ b/html/Developer.html.in
@@ -4,6 +4,7 @@ $gDeveloperHtml = <<HTML_END
  <head>
    <title>$gProject - Developers' information</title>
    <link rev="made" href="mailto:$gMaintainerEmail">
+  <link rel="stylesheet" href="$gWebHostBugDir/css/bugs.css" type="text/css">
  </head>
  <body>