2019-01-08 00:46:19 +00:00
|
|
|
<!DOCTYPE html>
|
|
|
|
|
<html lang="en">
|
2019-03-01 15:45:59 +00:00
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1">
|
|
|
|
|
<title>code-server</title>
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body style="background: rgb(30, 30, 30);">
|
|
|
|
|
<script>
|
|
|
|
|
(() => {
|
|
|
|
|
const rawColorTheme = localStorage.getItem("colorThemeData");
|
|
|
|
|
if (!rawColorTheme) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
const colorTheme = JSON.parse(rawColorTheme);
|
|
|
|
|
const colorMap = colorTheme.colorMap;
|
|
|
|
|
if (!colorMap) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
const bg = colorMap["editor.background"];
|
|
|
|
|
if (!bg) {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
document.body.style.background = bg;
|
|
|
|
|
})();
|
|
|
|
|
</script>
|
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
