1 files changed, 0 insertions, 42 deletions
diff --git a/eigen/bench/perf_monitoring/resources/header.html b/eigen/bench/perf_monitoring/resources/header.html
deleted file mode 100644
index 1f22309..0000000
--- a/eigen/bench/perf_monitoring/resources/header.html
+++ /dev/null
@@ -1,42 +0,0 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
-<head>
-<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
-<title>Eigen performance monitoring</title>
-<style type="text/css">
-
-body
-{
- background:#fff;
-}
-th {
-
-}
-img
-{
- width:auto;
- box-shadow:0px 0px 20px #cecece;
- margin: 20px 20px  20px  20px;
-  -moz-transform: scale(1);
- -moz-transition-duration: 0.4s;
- -webkit-transition-duration: 0.4s;
- -webkit-transform: scale(1);
-
- -ms-transform: scale(1);
- -ms-transition-duration: 0.4s;
-}
-img:hover
-{
-box-shadow: 5px 5px 20px #dcdcdc;
- -moz-transform: scale(1.1);
- -moz-transition-duration: 0.4s;
- -webkit-transition-duration: 0.4s;
- -webkit-transform: scale(1.1);
-
- -ms-transform: scale(1.1);
- -ms-transition-duration: 0.4s;
-
-}
-</style>
-</head>
-<body>