<title>Source Annotations</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
- <link type="text/javascript" rel="javascript" href="/menu.css"/>
+ <link type="text/javascript" rel="javascript" href="menu.js"/>
</head>
<body>
<title>Available Checks</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
- <link type="text/javascript" rel="javascript" href="/menu.css"/>
+ <link type="text/javascript" rel="javascript" href="menu.js"/>
</head>
<body>
<title>Analyzer Development: C++ Support</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
- <link type="text/javascript" rel="javascript" href="/menu.css"/>
+ <link type="text/javascript" rel="javascript" href="menu.js"/>
</head>
<body>
<title>Filing Bugs and Feature Requests</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
- <link type="text/javascript" rel="javascript" href="/menu.css"/>
+ <link type="text/javascript" rel="javascript" href="menu.js"/>
</head>
<body>
<title>Obtaining the Static Analyzer</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
- <link type="text/javascript" rel="javascript" href="/menu.css"/>
+ <link type="text/javascript" rel="javascript" href="menu.js"/>
</head>
<body>
<title>Running the Analyzer</title>
<link type="text/css" rel="stylesheet" href="menu.css" />
<link type="text/css" rel="stylesheet" href="content.css" />
- <link type="text/javascript" rel="javascript" href="/menu.css"/>
+ <link type="text/javascript" rel="javascript" href="menu.js"/>
<style>
thead {
background-color:#eee; color:#666666;