- Timestamp:
- 12/30/07 11:27:53 (11 months ago)
- Files:
-
- 1 modified
-
trunk/gregarius/plugins/roundedcorners.php (modified) (3 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/gregarius/plugins/roundedcorners.php
r1181 r1777 30 30 /// Author: Marco Bonetti 31 31 /// Description: Rounded corners in some GUI elements. Enabling this plugin breaks the CSS validation. 32 /// Version: 0. 332 /// Version: 0.4 33 33 34 34 /** … … 37 37 * 0.3 Hack for a Gecko bug which did not render rounded corners properly 38 38 * on large divs. https://bugzilla.mozilla.org/show_bug.cgi?id=252241 - Sameer 39 * 40 * 0.4 Be evil on WebKit browsers, too 39 41 */ 40 42 … … 48 50 $css = " 49 51 /* bad bad bad */ 50 .frame,.item,h3.collapsed,table,div.content img, #sidemenu li,52 .frame,.item,h3.collapsed,table,div.content img, 51 53 ul.navlist li,a.bookmarklet, fieldset, div#pbholder, div.ief, 52 div.ief p a, #loginfo, input[type=\"submit\"] { -moz-border-radius: 5px } 54 div.ief p a, #loginfo, input[type=\"submit\"] { -moz-border-radius: 5px; -webkit-border-radius:5px } 55 #sidemenu li { 56 -moz-border-radius-top-left:5px; 57 -moz-border-radius-top-right:5px; 58 -webkit-border-top-left-radius:5px; 59 -webkit-border-top-right-radius:5px; 60 } 53 61 "; 54 62
