branch | donation_review |
changeset 1043 | 57843026e60b |
parent 1027 | 205b7632914c |
parent 1040 | f7b6892fd754 |
child 1044 | 7feb751ba76b |
1.1 --- a/sandbox/attributed-index-web/ui-cat.html Mon Dec 19 11:37:36 2016 +0100 1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 1.3 @@ -1,10 +0,0 @@ 1.4 -<html> 1.5 -<head> 1.6 - <style type="text/css"> 1.7 - .occurrence {BACKGROUND: #DDDD00;} 1.8 - </style> 1.9 -</head> 1.10 -<body> 1.11 -<pre><#list occurrences as occurrence>${occurrence.prefix}<span class="occurrence">${occurrence.occurrence}</span></#list>${suffix}</pre> 1.12 -</body> 1.13 -</html>