diff options
Diffstat (limited to 'docs/page_header.html')
| -rw-r--r-- | docs/page_header.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/page_header.html b/docs/page_header.html index fd40c5a2..4a2128e0 100644 --- a/docs/page_header.html +++ b/docs/page_header.html @@ -8,6 +8,7 @@ <meta name="ROBOTS" content="INDEX, NOFOLLOW">
<meta http-equiv="imagetoolbar" content="no" />
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+ <meta name="keywords" content="java git server" />
<script type="text/javascript" src="http://ajax.googleapis.com/ajax/libs/jquery/1.4/jquery.min.js"></script>
<script>
@@ -23,8 +24,11 @@ list-style: none;
'}'
</style>
+
+ <script type="text/javascript" src="prettify/prettify.js"></script>
+ <link href="prettify/prettify.css" type="text/css" rel="stylesheet" />
</head>
- <body>
+ <body onload="prettyPrint()">
<div class="page_header">
<a title="gitblit homepage" href="http://gitblit.com/">
<img src="./gitblt_25.png" width="79" height="25" alt="gitblit" class="logo"/>
|