div[name="disambiguation"] h1 {font-size:1.5em; margin:1em; padding: 0.5em;}
div[name="disambiguation"] div[name="portlet-section-body"],div[name="portlet-section-alternate"] { padding: 1em; margin: 0.5em; border:dotted thin; border-color: navy;}
div[name="disambiguation"] div[name="portlet-section-body"] { background-color: #f7f7ff;}
div[name="disambiguation"] div[name="portlet-section-alternate"] { background-color: #f0f0ff;}
div[name="disambiguation"] div[name="title"] a {font-size:1.5em; font-weight: bold}