diff --git a/mkdocs/docs/playground/backend.json b/mkdocs/docs/playground/backend.json index 55afaacea..76e0a669c 100644 --- a/mkdocs/docs/playground/backend.json +++ b/mkdocs/docs/playground/backend.json @@ -3,6 +3,8 @@ {"name": "RunEpsilonFunction", "url": "https://uk-ac-york-cs-epsilon-playground.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/epsilon"}, {"name": "FlexmiToPlantUMLFunction", "url": "https://uk-ac-york-cs-epsilon-playground.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/flexmi2plantuml"}, {"name": "EmfaticToPlantUMLFunction", "url": "https://uk-ac-york-cs-epsilon-playground.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/emfatic2plantuml"}, - {"name": "ShortURLFunction", "url": "https://l4p4ni4wo4lqtxk4qfedsapbtm0olxqn.lambda-url.eu-west-1.on.aws/"} + {"name": "ShortURLFunction", "url": "https://l4p4ni4wo4lqtxk4qfedsapbtm0olxqn.lambda-url.eu-west-1.on.aws/"}, + {"name": "Yjs", "url":"wss://uk-ac-york-cs-epsilon-yjs.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com/ws/", "public": "wss://demos.yjs.dev/ws"}, + {"name": "Kroki", "url": "https://uk-ac-york-cs-epsilon-kroki.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com"} ] } \ No newline at end of file diff --git a/mkdocs/docs/playground/backend.local.json b/mkdocs/docs/playground/backend.local.json index afe0556d5..7b5de6776 100644 --- a/mkdocs/docs/playground/backend.local.json +++ b/mkdocs/docs/playground/backend.local.json @@ -3,6 +3,8 @@ {"name": "RunEpsilonFunction", "url": "http://localhost:8080/epsilon"}, {"name": "FlexmiToPlantUMLFunction", "url": "http://localhost:8080/flexmi2plantuml"}, {"name": "EmfaticToPlantUMLFunction", "url": "http://localhost:8080/emfatic2plantuml"}, - {"name": "ShortURLFunction", "url": "http://localhost:8080/shorturl"} + {"name": "ShortURLFunction", "url": "http://localhost:8080/shorturl"}, + {"name": "Yjs", "url": "ws://localhost:1234", "alternative": "wss://demos.yjs.dev/ws"}, + {"name": "Kroki", "url": "https://uk-ac-york-cs-epsilon-kroki.h5rwqzvxy5sr4.eu-west-1.cs.amazonlightsail.com"} ] } diff --git a/mkdocs/docs/playground/css/custom.css b/mkdocs/docs/playground/css/custom.css index 3b0995aa5..b5aa36762 100644 --- a/mkdocs/docs/playground/css/custom.css +++ b/mkdocs/docs/playground/css/custom.css @@ -180,6 +180,10 @@ content: url("../images/maximise.png"); } +.mif-liveshare::before { + content: url("../images/liveshare.png"); +} + .active-toggle .icon .mif-folder::before { content: url("../images/open-folder.png"); } @@ -226,16 +230,6 @@ body { display:none; } -.ace_gutter { - background-color: white !important; - border-right: 1px solid rgb(215,215,215) !important; - z-index: 0; -} - -.ace_gutter-active-line { - background-color: white !important; -} - #preloader { position: fixed; height: 100%; @@ -308,3 +302,14 @@ body { text-align:center; color: rgb(205, 53, 44); } + +#liveShareStatus { + background-color1: #63BCE9; + background-color: #62A92F; + color: white; + display: none; +} + +#preloader-message { + padding: 10px; +} \ No newline at end of file diff --git a/mkdocs/docs/playground/images/liveshare.png b/mkdocs/docs/playground/images/liveshare.png new file mode 100644 index 000000000..ab70bff5f Binary files /dev/null and b/mkdocs/docs/playground/images/liveshare.png differ diff --git a/mkdocs/docs/playground/index.html b/mkdocs/docs/playground/index.html index 2ae95df86..9a570fce4 100644 --- a/mkdocs/docs/playground/index.html +++ b/mkdocs/docs/playground/index.html @@ -12,20 +12,31 @@ -
+