From 101b30252276314fd64ef450fccaa2c55946fbbf Mon Sep 17 00:00:00 2001
From: "fryorcraken.eth" <git@fryorcraken.xyz>
Date: Fri, 7 Oct 2022 11:35:53 +1100
Subject: [PATCH] ci: deploy style sheet if present

---
 ci/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/Jenkinsfile b/ci/Jenkinsfile
index 1080c5c..add8476 100644
--- a/ci/Jenkinsfile
+++ b/ci/Jenkinsfile
@@ -80,4 +80,5 @@ def buildExample(example=STAGE_NAME) {
 def copyExample(example=STAGE_NAME) {
   sh "mkdir -p build/docs/${example}"
   sh "cp ${example}/index.html build/docs/${example}/"
+  sh "[ -f ${example}/style.css ] && cp ${example}/style.css build/docs/${example}/"
 }