From 4906733e1c12fd167a4236c63201a8f4e6daad63 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 3 Mar 2015 15:55:00 -0500 Subject: Support 'dynClass' and 'dynStyle' for --- tests/dynClassB.ur | 17 +++++++++++++++++ tests/dynClassB.urp | 5 +++++ tests/style.css | 7 +++++++ 3 files changed, 29 insertions(+) create mode 100644 tests/dynClassB.ur create mode 100644 tests/dynClassB.urp create mode 100644 tests/style.css (limited to 'tests') diff --git a/tests/dynClassB.ur b/tests/dynClassB.ur new file mode 100644 index 00000000..fc7aeb43 --- /dev/null +++ b/tests/dynClassB.ur @@ -0,0 +1,17 @@ +style style1 +style style2 + +fun main () : transaction page = + toggle <- source False; + return + + + + + Body + + + diff --git a/tests/dynClassB.urp b/tests/dynClassB.urp new file mode 100644 index 00000000..e580b035 --- /dev/null +++ b/tests/dynClassB.urp @@ -0,0 +1,5 @@ +rewrite all DynClassB/* +file /style.css style.css +allow url /style.css + +dynClassB diff --git a/tests/style.css b/tests/style.css new file mode 100644 index 00000000..78b33fc2 --- /dev/null +++ b/tests/style.css @@ -0,0 +1,7 @@ +body.style1 { + background-color: blue; +} + +body.style2 { + background-color: green; +} -- cgit v1.2.3