From 974bcfe02076fe0cad77a925f54dcb2c68154328 Mon Sep 17 00:00:00 2001 From: Juliette Regimbal Date: Mon, 29 Jul 2019 13:48:49 -0400 Subject: [PATCH] Have style.css take priority over default diva css --- pages/static/editor.html | 2 +- views/editor.pug | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pages/static/editor.html b/pages/static/editor.html index e4374d7f1..8c2ffb4ec 100644 --- a/pages/static/editor.html +++ b/pages/static/editor.html @@ -2,12 +2,12 @@ Neon - + diff --git a/views/editor.pug b/views/editor.pug index a00dd0368..562de36c1 100644 --- a/views/editor.pug +++ b/views/editor.pug @@ -1,12 +1,12 @@ html head title Neon - script(src='/pretty.js') script(src='/verovio-toolkit.js') script(src='//code.jquery.com/jquery-3.4.1.min.js' integrity='sha256-CSXorXvZcTkaix6Yvo6HppcZGetbYMGWSFlBw8HfCJo=' crossorigin='anonymous') script(src='//cdnjs.cloudflare.com/ajax/libs/d3/5.5.0/d3.min.js' integrity='sha256-0OcjjB7oKWCwru7gzilCYvXgTE9augkyvMI0WFC1ODg=' crossorigin='anonymous') script(src='/diva-v6.0.1/diva.js') link(rel='stylesheet' href='/diva-v6.0.1/diva.css') + script(src='/pretty.js') body script(type='text/javascript'). var manifestText = decodeURIComponent("#{manifest}");