+++ /dev/null
-\r
-#finishtext {\r
- margin-top : -20px;\r
-}\r
-\r
-text#ProfileDir {\r
- font-weight : bold;\r
- padding-left : 1em;\r
- margin-top : 0.4em;\r
-}\r
-\r
-box#dirbox > box > titledbutton {\r
- min-width : 8em;\r
-}\r
-\r
-span#deffoldername {\r
- margin-left : 2px;\r
-} \r