Skip to content

Commit 91a2ec1

Browse files
robot-colosseumrobot-colosseum
committed
(fix-wip): formatting and checking for errors
1 parent 64909f3 commit 91a2ec1

File tree

2 files changed

+69
-72
lines changed

2 files changed

+69
-72
lines changed

‎.gitignore‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1,2 @@
1-
*.zip
1+
*.zip
2+
tmp/

‎index.html‎

Lines changed: 67 additions & 71 deletions
Original file line numberDiff line numberDiff line change
@@ -1,79 +1,75 @@
11
<!DOCTYPE html>
2-
<html>
2+
<html lang="en">
3+
34
<head>
4-
<meta charset="utf-8">
5-
<meta name="description"
6-
content="THE COLOSSEUM: A Benchmark for Evaluating Generalization for Robotic Manipulation">
7-
<meta name="keywords" content="Generalization, Manipulation">
8-
<meta name="viewport" content="width=device-width, initial-scale=1">
9-
<title>Colosseum</title>
10-
<style>
11-
.video-grid {
12-
display: grid;
13-
grid-template-columns: repeat(3, 1fr); /* Creates a 3-column grid */
14-
gap: 10px; /* Adds some space between the videos */
15-
max-width: 1000px; /* Adjust based on your preference */
16-
margin: auto; /* Center the grid horizontally */
17-
}
18-
.video-grid video {
19-
width: 100%; /* Makes video fill the cell */
20-
aspect-ratio: 16 / 9; /* Keeps the aspect ratio of videos */
21-
}
22-
.video-section-header {
23-
text-align: center;
24-
margin-top: 20px;
25-
margin-bottom: 20px;
26-
}
27-
</style>
28-
29-
<script>
30-
function init() {
31-
const video = document.getElementById("perturbation-task-video");
32-
video.addEventListener("error", () => {
33-
console.log("Error loading video: ", video.src), ". Setting default to none";
34-
if(video.src.includes("undefined")) {
35-
console.log("Don't have an undefined version of the clip, just crash");
36-
return;
37-
}
38-
const task = document.getElementById("single-menu-tasks").value;
39-
const uri = "media/perturbations/" + task + "-undefined.mp4";
40-
video.src = uri;
41-
video.playbackRate = 1.75;
42-
video.play();
43-
}, true);
5+
<meta charset="utf-8">
6+
<title>Colosseum</title>
7+
<meta name="description" content="THE COLOSSEUM: A Benchmark for Evaluating Generalization for Robotic Manipulation">
8+
<meta name="keywords" content="Generalization, Manipulation">
9+
<meta name="viewport" content="width=device-width, initial-scale=1">
10+
11+
<link href="https://fonts.googleapis.com/css?family=Google+Sans|Noto+Sans|Castoro" rel="stylesheet">
12+
13+
<link rel="stylesheet" href="./static/css/bulma.min.css">
14+
<link rel="stylesheet" href="./static/css/bulma-carousel.min.css">
15+
<link rel="stylesheet" href="./static/css/bulma-slider.min.css">
16+
<link rel="stylesheet" href="./static/css/fontawesome.all.min.css">
17+
<link rel="stylesheet" href="https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css">
18+
<link rel="stylesheet" href="./static/css/index.css">
19+
20+
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
21+
<script defer src="./static/js/fontawesome.all.min.js"></script>
22+
<script src="./static/js/bulma-carousel.min.js"></script>
23+
<script src="./static/js/bulma-slider.min.js"></script>
24+
<script src="./static/js/index.js"></script>
25+
26+
<style>
27+
.video-grid {
28+
display: grid;
29+
grid-template-columns: repeat(3, 1fr); /* Creates a 3-column grid */
30+
gap: 10px; /* Adds some space between the videos */
31+
max-width: 1000px; /* Adjust based on your preference */
32+
margin: auto; /* Center the grid horizontally */
4433
}
45-
46-
function updateSingleVideo() {
47-
const task = document.getElementById("single-menu-tasks").value;
48-
const perturbation = document.getElementById("single-menu-perturbations").value;
49-
50-
const video = document.getElementById("perturbation-task-video");
51-
const uri = "media/perturbations/" + task + "-" + perturbation + ".mp4"
52-
console.log("uri: ", uri);
53-
video.src = uri;
54-
video.playbackRate = 1.75;
55-
video.play();
34+
.video-grid video {
35+
width: 100%; /* Makes video fill the cell */
36+
aspect-ratio: 16 / 9; /* Keeps the aspect ratio of videos */
5637
}
57-
58-
</script>
59-
60-
<link href="https://fonts.googleapis.com/css?family=Google+Sans|Noto+Sans|Castoro"
61-
rel="stylesheet">
62-
63-
<link rel="stylesheet" href="./static/css/bulma.min.css">
64-
<link rel="stylesheet" href="./static/css/bulma-carousel.min.css">
65-
<link rel="stylesheet" href="./static/css/bulma-slider.min.css">
66-
<link rel="stylesheet" href="./static/css/fontawesome.all.min.css">
67-
<link rel="stylesheet"
68-
href="https://cdn.jsdelivr.net/gh/jpswalsh/academicons@1/css/academicons.min.css">
69-
<link rel="stylesheet" href="./static/css/index.css">
70-
71-
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
72-
<script defer src="./static/js/fontawesome.all.min.js"></script>
73-
<script src="./static/js/bulma-carousel.min.js"></script>
74-
<script src="./static/js/bulma-slider.min.js"></script>
75-
<script src="./static/js/index.js"></script>
38+
.video-section-header {
39+
text-align: center;
40+
margin-top: 20px;
41+
margin-bottom: 20px;
42+
}
43+
</style>
44+
45+
<script>
46+
function init() {
47+
const video = document.getElementById("perturbation-task-video");
48+
video.addEventListener("error", () => {
49+
console.log("Error loading video: ", video.src), ". Setting default to none";
50+
if(video.src.includes("undefined")) {
51+
console.log("Don't have an undefined version of the clip, just crash");
52+
return;
53+
}
54+
const task = document.getElementById("single-menu-tasks").value;
55+
const uri = "media/perturbations/" + task + "-undefined.mp4";
56+
video.src = uri;
57+
video.playbackRate = 1.75;
58+
video.play();
59+
}, true);
60+
}
61+
function updateSingleVideo() {
62+
const task = document.getElementById("single-menu-tasks").value;
63+
const perturbation = document.getElementById("single-menu-perturbations").value;
64+
const video = document.getElementById("perturbation-task-video");
65+
const uri = "media/perturbations/" + task + "-" + perturbation + ".mp4"
66+
video.src = uri;
67+
video.playbackRate = 1.75;
68+
video.play();
69+
}
70+
</script>
7671
</head>
72+
7773
<body onload="init(); updateSingleVideo(); ">
7874

7975
<nav class="navbar" role="navigation" aria-label="main navigation">

0 commit comments

Comments
 (0)