# HG changeset patch # User cavaliet # Date 1395152119 -3600 # Node ID aa9735eb01ac4aec993aaa39819d7ffb22777fe9 # Parent 73335cba68eb91dc7e98d880fbf22ffca9565b7a debug corpus static page diff -r 73335cba68eb -r aa9735eb01ac .hgignore --- a/.hgignore Tue Mar 18 14:43:28 2014 +0100 +++ b/.hgignore Tue Mar 18 15:15:19 2014 +0100 @@ -16,4 +16,6 @@ syntax: regexp ^web/\.htaccess$ syntax: regexp -^web/static/media/ldt$ \ No newline at end of file +^web/static/media/ldt$ +syntax: regexp +\.mp4$ \ No newline at end of file diff -r 73335cba68eb -r aa9735eb01ac wwwcorpus/metadataplayer/Controller.css --- a/wwwcorpus/metadataplayer/Controller.css Tue Mar 18 14:43:28 2014 +0100 +++ b/wwwcorpus/metadataplayer/Controller.css Tue Mar 18 15:15:19 2014 +0100 @@ -86,8 +86,8 @@ } input.Ldt-Ctrl-SearchInput { - width: 145px; height: 13px; margin: 2px; padding: 3px; - border: 1px solid #8080a0; border-radius: 3px; font-size: 13px; + width: 145px; height: 19px; margin: 2px; padding: 3px; + border: 1px solid #8080a0; border-radius: 3px; font-size: 11px; } .Ldt-Ctrl-Time { diff -r 73335cba68eb -r aa9735eb01ac wwwcorpus/playeropera.html --- a/wwwcorpus/playeropera.html Tue Mar 18 14:43:28 2014 +0100 +++ b/wwwcorpus/playeropera.html Tue Mar 18 15:15:19 2014 +0100 @@ -15,6 +15,7 @@ + @@ -133,7 +134,6 @@ - + @@ -235,7 +236,6 @@ -