Spaces:
Sleeping
Sleeping
Update dist/index.html
Browse files- dist/index.html +13 -10
dist/index.html
CHANGED
@@ -47,22 +47,25 @@
|
|
47 |
display: block;
|
48 |
}
|
49 |
|
50 |
-
#
|
51 |
-
z-index:
|
52 |
-
position:
|
53 |
-
|
|
|
54 |
|
55 |
}
|
56 |
</style>
|
57 |
</head>
|
58 |
|
59 |
<body>
|
60 |
-
<
|
61 |
-
|
62 |
-
|
63 |
-
|
64 |
-
|
65 |
-
</
|
|
|
|
|
66 |
<div id="toc">
|
67 |
|
68 |
|
|
|
47 |
display: block;
|
48 |
}
|
49 |
|
50 |
+
#select {
|
51 |
+
z-index: 3;
|
52 |
+
position: fixed;
|
53 |
+
background-color: white;
|
54 |
+
right: 1em;
|
55 |
|
56 |
}
|
57 |
</style>
|
58 |
</head>
|
59 |
|
60 |
<body>
|
61 |
+
<div id="select">
|
62 |
+
<select id="release-select" onchange="update(currentFile)">
|
63 |
+
<option value="Rel-18">Rel-18</option>
|
64 |
+
<option value="Rel-17">Rel-17</option>
|
65 |
+
<option value="Rel-16">Rel-16</option>
|
66 |
+
<option value="Rel-15">Rel-15</option>
|
67 |
+
</select>
|
68 |
+
</div>
|
69 |
<div id="toc">
|
70 |
|
71 |
|