--- a/common/doc/testing.html Thu May 11 13:58:54 2017 -0700
+++ b/common/doc/testing.html Fri May 12 19:09:50 2017 +0200
@@ -6,9 +6,8 @@
<meta name="generator" content="pandoc" />
<title>Testing OpenJDK</title>
<style type="text/css">code{white-space: pre;}</style>
- <link rel="stylesheet" href="http://openjdk.java.net/page.css" type="text/css" />
+ <link rel="stylesheet" href=" ../../jdk/make/data/docs-resources/specs/resources/jdk-default.css" type="text/css" />
<style type="text/css">pre, code, tt { color: #1d6ae5; }</style>
- <style type="text/css">pre { font-size: 10pt; }</style>
</head>
<body>
<div id="header">