[metrics-web/master] Allows additional stylesheets to be specified

16 Feb 2018

commit 2cb348ec7bc2e014eba28c55bdd01a6772aa1fd7
Author: Iain R. Learmonth <irl@fsfe.org>
Date:   Wed Feb 14 17:15:16 2018 +0000

    Allows additional stylesheets to be specified
    
    This change allows for servlets or JSPs to specify additional
    stylesheets to be included in the <head> section of HTML outputs when
    using top.jsp.
    
    Fixes: #25255
---
 src/main/resources/web/jsps/top.jsp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main/resources/web/jsps/top.jsp b/src/main/resources/web/jsps/top.jsp
index f7a702f..146c45a 100644
--- a/src/main/resources/web/jsps/top.jsp
+++ b/src/main/resources/web/jsps/top.jsp
@@ -40,6 +40,9 @@
   <!-- custom styles and javascript -->
   <link rel="stylesheet" href="/css/style.css">
   <script src="/js/script.js"></script>
+  <c:forEach var="additionalStylesheet" items="${additionalStylesheets}">
+  <link rel="stylesheet" href="${additionalStylesheet}">
+  </c:forEach>
 
 </head>

    

karsten＠torproject.org

tags

participants (1)