setting[pref-name="rng"] { border-bottom: 0px transparent none; padding-top: 0.5em; } setting[pref-name="storePersistentRnd"]{ border-top: 0px transparent none; border-bottom: 0px transparent none; } setting[pref-name="persistentRndStorage"]{ border-top: 0px transparent none; border-bottom: 0px transparent none; display: none; } setting[pref-name="clearPersistentRnd"]{ border-top: 0px transparent none; border-bottom: 0px transparent none; } setting[pref-name="showNotifications"] { border-bottom: 0px transparent none; padding-top: 0.5em; } setting[pref-name="notificationDisplayTime"]{ border-top: 0px transparent none; border-bottom: 0px transparent none; } setting[pref-name="ignoreList"]{ border-top: 0px transparent none; padding-bottom: 0.5em; } setting[pref-name="showCallingFile"]{ border-bottom: 0px transparent none; padding-top: 0.5em; } setting[pref-name="showCompleteCallingStack"]{ border-top: 0px transparent none; padding-bottom: 0.5em; } setting[pref-name="stackList"]{ border-top: 0px transparent none; padding-bottom: 0.5em; }