annotate WebContent/jscripts/tiny_mce/plugins/searchreplace/css/searchreplace.css @ 8:11baadcdd2c8

start of new Annotator API implementation.
author casties
date Mon, 19 Mar 2012 14:50:28 +0100
parents 0be9d53a6967
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
1 .panel_wrapper {height:85px;}
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
2 .panel_wrapper div.current {height:85px;}
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
3
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
4 /* IE */
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
5 * html .panel_wrapper {height:100px;}
0be9d53a6967 editor for annotations
dwinter
parents:
diff changeset
6 * html .panel_wrapper div.current {height:100px;}