Initial checkin

This commit is contained in:
genuineparts 2025-06-20 19:10:23 +02:00
commit d75eb444fc
4304 changed files with 369634 additions and 0 deletions

View file

@ -0,0 +1,11 @@
K 25
svn:wc:ra_dav:version-url
V 57
/astat/!svn/ver/1/trunk/thirdparty/tiny/plugins/style/css
END
props.css
K 25
svn:wc:ra_dav:version-url
V 67
/astat/!svn/ver/1/trunk/thirdparty/tiny/plugins/style/css/props.css
END

View file

@ -0,0 +1,62 @@
9
dir
34
http://svn.astat.org/astat/trunk/thirdparty/tiny/plugins/style/css
http://svn.astat.org/astat
2009-06-07T19:12:55.973801Z
1
genuineparts
svn:special svn:externals svn:needs-lock
bb7ccd2a-c66b-0410-9765-967ca6f03dfc
props.css
file
2009-06-08T19:44:27.000000Z
3442be519751bad52b23dc35a1de30d5
2009-06-07T19:12:55.973801Z
1
genuineparts
859

View file

@ -0,0 +1 @@
9

View file

@ -0,0 +1,13 @@
#text_font {width:250px;}
#text_size {width:70px;}
.mceAddSelectValue {background:#DDD;}
select, #block_text_indent, #box_width, #box_height, #box_padding_top, #box_padding_right, #box_padding_bottom, #box_padding_left {width:70px;}
#box_margin_top, #box_margin_right, #box_margin_bottom, #box_margin_left, #positioning_width, #positioning_height, #positioning_zindex {width:70px;}
#positioning_placement_top, #positioning_placement_right, #positioning_placement_bottom, #positioning_placement_left {width:70px;}
#positioning_clip_top, #positioning_clip_right, #positioning_clip_bottom, #positioning_clip_left {width:70px;}
.panel_wrapper div.current {padding-top:10px;height:230px;}
.delim {border-left:1px solid gray;}
.tdelim {border-bottom:1px solid gray;}
#block_display {width:145px;}
#list_type {width:115px;}
.disabled {background:#EEE;}

View file

@ -0,0 +1,13 @@
#text_font {width:250px;}
#text_size {width:70px;}
.mceAddSelectValue {background:#DDD;}
select, #block_text_indent, #box_width, #box_height, #box_padding_top, #box_padding_right, #box_padding_bottom, #box_padding_left {width:70px;}
#box_margin_top, #box_margin_right, #box_margin_bottom, #box_margin_left, #positioning_width, #positioning_height, #positioning_zindex {width:70px;}
#positioning_placement_top, #positioning_placement_right, #positioning_placement_bottom, #positioning_placement_left {width:70px;}
#positioning_clip_top, #positioning_clip_right, #positioning_clip_bottom, #positioning_clip_left {width:70px;}
.panel_wrapper div.current {padding-top:10px;height:230px;}
.delim {border-left:1px solid gray;}
.tdelim {border-bottom:1px solid gray;}
#block_display {width:145px;}
#list_type {width:115px;}
.disabled {background:#EEE;}