From 7c3301dd011b61ef231e5c848a7f37eacb0bedfa Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 22:55:08 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 .../network/labels/labelColorAndSize.html     | 61 +++++++++++++++++++
 1 file changed, 61 insertions(+)
 create mode 100644 js/dos/ext/vis/examples/network/labels/labelColorAndSize.html
diff --git a/js/dos/ext/vis/examples/network/labels/labelColorAndSize.html b/js/dos/ext/vis/examples/network/labels/labelColorAndSize.html
new file mode 100644
index 0000000..ac51d53
--- /dev/null
+++ b/js/dos/ext/vis/examples/network/labels/labelColorAndSize.html
@@ -0,0 +1,61 @@
+<!doctype html>
+<html>
+<head>
+  <title>Network | Label stroke</title>
+  <script type="text/javascript" src="../../../dist/vis.js"></script>
+  <link href="../../../dist/vis.css" rel="stylesheet" type="text/css" />
+
+  <style type="text/css">
+    #mynetwork {
+      width: 600px;
+      height: 600px;
+      border: 1px solid lightgray;
+      background:#d1d1d1;
+    }
+    p {
+      max-width:600px;
+    }
+  </style>
+  <script src="../../googleAnalytics.js"></script>
+</head>
+
+<body>
+<p>The style of the edges can be fully customized.</p>
+
+<div id="mynetwork"></div>
+
+<script type="text/javascript">
+  // create an array with nodes
+  var nodes = [
+    {id: 1, label: 'Node 1', font: '12px arial red'},
+    {id: 2, label: 'Node 2', font: {size:12, color:'lime', face:'arial'}},
+    {id: 3, label: 'Node 3', font: '18px verdana blue'},
+    {id: 4, label: 'Node 4', font: {size:12, color:'red', face:'sans', background:'white'}},
+    {id: 5, label: 'Node 5', font: {size:15, color:'red', face:'courier', strokeWidth:3, strokeColor:'#ffffff'}}
+  ];
+
+  // create an array with edges
+  var edges = [
+    {from: 1, to: 2},
+    {from: 1, to: 3},
+    {from: 2, to: 4},
+    {from: 2, to: 5}
+  ];
+
+  // create a network
+  var container = document.getElementById('mynetwork');
+  var data = {
+    nodes: nodes,
+    edges: edges
+  };
+  var options = {
+    nodes : {
+      shape: 'dot',
+      size: 10
+    }
+  };
+  var network = new vis.Network(container, data, options);
+</script>
+
+</body>
+</html>
