From a9cdd8261fbc80738a4661adc6dc0313391bf852 Mon Sep 17 00:00:00 2001
From: guuske <guus.leeuw@itpassion.com>
Date: Thu, 10 Jan 2019 07:33:16 +0000
Subject: [PATCH] Added border style "double"

---
 src/generators/borderStyle.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/generators/borderStyle.js b/src/generators/borderStyle.js
index 3dfca388c490..faa76da50328 100644
--- a/src/generators/borderStyle.js
+++ b/src/generators/borderStyle.js
@@ -11,6 +11,9 @@ export default function() {
     'border-dotted': {
       'border-style': 'dotted',
     },
+    'border-double': {
+      'border-style': 'double',
+    },
     'border-none': {
       'border-style': 'none',
     },