From 74fcc6f8c558ec6c5adf94dea93d36592fad6465 Mon Sep 17 00:00:00 2001 From: cominch Date: Thu, 21 Jun 2012 11:01:02 +0200 Subject: [PATCH] Augmented browsing: small UI modifications --- .../interaction_elements/Document_part.html | 40 +++-- .../OverlayInteraction.html | 143 +++++++++--------- htroot/interaction_elements/Tag_part.html | 28 ++-- 3 files changed, 105 insertions(+), 106 deletions(-) diff --git a/htroot/interaction_elements/Document_part.html b/htroot/interaction_elements/Document_part.html index 2964b6a17..39efd4f05 100644 --- a/htroot/interaction_elements/Document_part.html +++ b/htroot/interaction_elements/Document_part.html @@ -1,34 +1,30 @@ - - + - + \ No newline at end of file diff --git a/htroot/interaction_elements/OverlayInteraction.html b/htroot/interaction_elements/OverlayInteraction.html index 22605cc94..29ecea4f5 100644 --- a/htroot/interaction_elements/OverlayInteraction.html +++ b/htroot/interaction_elements/OverlayInteraction.html @@ -2,46 +2,46 @@ @@ -156,17 +157,21 @@ z-index:99999; - + +