diff --git a/src/main/webapp/pipe.js b/src/main/webapp/pipe.js index 7a3e0b236..75c924747 100644 --- a/src/main/webapp/pipe.js +++ b/src/main/webapp/pipe.js @@ -324,7 +324,7 @@ function addPipelineHeader(html, component, data, c, resURL) { } else { html.push(' '); } - html.push(''); + html.push(''); html.push(''); } html.push(''); diff --git a/src/main/webapp/themes/default/abort.png b/src/main/webapp/themes/default/abort.png deleted file mode 100644 index 81565d554..000000000 Binary files a/src/main/webapp/themes/default/abort.png and /dev/null differ diff --git a/src/main/webapp/themes/default/abort.svg b/src/main/webapp/themes/default/abort.svg new file mode 100644 index 000000000..f07bcba7a --- /dev/null +++ b/src/main/webapp/themes/default/abort.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/src/main/webapp/themes/default/pipeline-common.css b/src/main/webapp/themes/default/pipeline-common.css index 673ba10ab..ed98f32e3 100644 --- a/src/main/webapp/themes/default/pipeline-common.css +++ b/src/main/webapp/themes/default/pipeline-common.css @@ -151,7 +151,7 @@ div.taskname { div.task-manual { display: table-cell; - background: url("play.png") no-repeat; + background: url("play.svg") no-repeat; background-size: 75%; cursor: pointer; height: 14px; @@ -164,7 +164,7 @@ div.task-manual { div.task-rebuild { display: table-cell; background-color: #808080; - background: url("refresh.png") no-repeat; + background: url("refresh.svg") no-repeat; background-size: 75%; cursor: pointer; height: 14px; @@ -177,7 +177,7 @@ div.task-rebuild { div.task-abort { display: table-cell; background-color: #808080; - background: url("abort.png") no-repeat; + background: url("abort.svg") no-repeat; background-size: 100%; position: absolute; bottom: 6px; diff --git a/src/main/webapp/themes/default/play.png b/src/main/webapp/themes/default/play.png deleted file mode 100644 index 72dd5390e..000000000 Binary files a/src/main/webapp/themes/default/play.png and /dev/null differ diff --git a/src/main/webapp/themes/default/play.svg b/src/main/webapp/themes/default/play.svg new file mode 100644 index 000000000..c54977e8b --- /dev/null +++ b/src/main/webapp/themes/default/play.svg @@ -0,0 +1 @@ + \ No newline at end of file diff --git a/src/main/webapp/themes/default/refresh.png b/src/main/webapp/themes/default/refresh.png deleted file mode 100644 index 3c1c8197f..000000000 Binary files a/src/main/webapp/themes/default/refresh.png and /dev/null differ diff --git a/src/main/webapp/themes/default/refresh.svg b/src/main/webapp/themes/default/refresh.svg new file mode 100644 index 000000000..3c1c50c92 --- /dev/null +++ b/src/main/webapp/themes/default/refresh.svg @@ -0,0 +1 @@ + \ No newline at end of file