body {	background-color: white;	color: black;	font-family: Verdana, Arial, Helvetica, sans-serif;	font-size: smaller;	margin: 0px;}code {	font-size: small;}table {	border-collapse: collapse;	font-family: Verdana, Arial, Helvetica, sans-serif;	font-size: small;}a, a:link, a:visited {	color: black;}a:hover, a:active, a:focus {	color: #5abd6b;}.gwt-DialogBox {	background-color: white;	border-style: outset;	border-width: 2px;	left: 100px;	sborder: 8px solid #C3D9FF;	top: 100px;}.gwt-DialogBox .Caption {	background-color: #99d7a4;	background-position: center;	bottom: auto;	cursor: default;	font-weight: bold;	left: auto;	margin: 2px;	padding: 3px;	right: auto;	text-align: center;	top: auto;	vertical-align: middle;}.gwt-Frame {	width: 640px;}.gwt-HorizontalSplitter .Bar {	background-color: #C3D9FF;	width: 8px;}.gwt-VerticalSplitter .Bar {	background-color: #C3D9FF;	height: 8px;}.gwt-HTML {	background-color: white;}.gwt-MenuBar {	background-color: #C3D9FF;	border-color: #87B3FF;	border-style: solid;	border-width: 1px;	cursor: default;}.gwt-MenuBar .gwt-MenuItem {	cursor: default;	font-size: smaller;	padding-bottom: 1px;	padding-left: 4px;	padding-right: 4px;	padding-top: 1px;}.gwt-MenuBar .gwt-MenuItem-selected {	background-color: #E8EEF7;}.gwt-RadioButton {	font-size: smaller;}.gwt-TabPanel {	margin-left: 10px;}.gwt-TabPanelBottom {	border-left-width: 1px;	margin-bottom: 20px;	margin-left: 10px;	margin-top: 20px;}.gwt-TabBar {	background-color: transparent;	font-size: smaller;}.gwt-TabBar .gwt-TabBarFirst {	border-bottom-color: #5abd6b;	border-bottom-style: solid;	border-bottom-width: 2px;	padding-left: 3px;}.gwt-TabBar .gwt-TabBarRest {	border-bottom-color: #5abd6b;	border-bottom-style: solid;	border-bottom-width: 2px;	padding-right: 3px;}.gwt-TabBar .gwt-TabBarItem {	background-color: #99d7a4;	border-bottom-color: #5abd6b;	border-bottom-style: solid;	border-bottom-width: 2px;	border-left-color: #5abd6b;	border-left-style: solid;	border-left-width: 2px;	border-right-color: #5abd6b;	border-right-style: solid;	border-right-width: 2px;	border-top-color: #5abd6b;	border-top-style: solid;	border-top-width: 1px;	cursor: hand;	font-family: sans-serif;	font-size: 10pt;	padding-bottom: 5px;	padding-left: 10px;	padding-right: 10px;	padding-top: 5px;}.gwt-TabBar .gwt-TabBarItem-selected {	background-color: #5abd6b;	border-bottom-color: #ffffff;	border-bottom-style: solid;	border-bottom-width: 2px;	border-left-color: #5abd6b;	border-left-style: solid;	border-left-width: 1px;	border-right-color: #5abd6b;	border-right-style: solid;	border-right-width: 1px;	border-top-color: #5abd6b;	border-top-style: solid;	border-top-width: 2px;	cursor: default;	font-family: sans-serif;	font-size: 10pt;	font-weight: bold;	padding-bottom: 5px;	padding-left: 10px;	padding-right: 10px;	padding-top: 5px;}.gwt-Tree .gwt-TreeItem {	font-size: smaller;}.gwt-Tree .gwt-TreeItem-selected {	background-color: #C3D9FF;}.gwt-StackPanel .gwt-StackPanelItem {	background-color: #C3D9FF;	cursor: hand;}.infoProse {	margin: 8px;}.djs-jobPanel {	padding-top: 30px;}.djs-Label {	padding-bottom: 5px;	padding-top: 15px;}.djs-sequencesPanel {	padding-top: 15px;}.djs-optionsPanel {	padding-right: 10px;	padding-top: 15px;}.djs-buttonsPanel {	border-color: #5abd6b;	border-top-width: 1px;	padding-right: 10px;	padding-top: 15px;}h2 {	color: #5abd6b;	font-family: Verdana, Arial, Helvetica, sans-serif;	font-size: 14pt;	font-weight: bold;}.djs-popup {	background-color: #ccffcc;	border-color: #5abd6b;	border-style: solid;	border-width: thin;	padding: 5px;}.djs-moreinfo {	color: black;	cursor: pointer;	text-decoration: underline;}.djs-hpspacer {	padding-left: 5px;}.gwt-PopupPanel .popupContent {	background-color: #ccffcc;	font-size: smaller;	padding: 5px;}.gwt-PopupPanel {	background-color: #ccffcc;	border-color: #5abd6b;	border-style: solid;	border-width: thin;	padding: 5px;}.djs-boldlabel {	font-size: smaller;	font-weight: bold;}.djs-moreinfo:hover {	color: #5abd6b;}.djs-subnav1 {	font-family: Verdana, Arial, Helvetica, sans-serif;	font-weight: bold;	margin-bottom: 0px;	margin-top: 30px;	padding-left: 0px;	padding-top: 0px;	text-decoration: none;	width: 200px;}.djs-subnav1:hover {	color: #5abd6b;	text-decoration: underline;}.djs-subnav1-active {	border-bottom-color: #cccccc;	border-bottom-style: solid;	border-bottom-width: 1px;	color: #5abd6b;	font-weight: bold;}.djs-subnav2 {	font-family: Verdana, Arial, Helvetica, sans-serif;	margin-bottom: 3px;	margin-top: 4px;	text-decoration: none;	width: 200px;}.djs-subnav2:hover {	color: #5abd6b;	text-decoration: underline;}.djs-subnav2-active {	color: #5abd6b;}djs-tab {	margin-bottom: 30px;	margin-left: 10px;	margin-top: 20px;	padding-bottom: 30px;	padding-left: 10px;	padding-top: 20px;}.gwt-HTML-index {	max-width: 640px;	padding-bottom: 30px;	padding-left: 10px;}.gwt-Hyperlink {	color: #5abd6b;	font-weight: bold;}.closebutton {	cursor: pointer;	margin-left: -10px;	margin-top: -30px;	padding-left: -10px;	padding-top: -20px;}.closebutton:hover {	color: #5abd6b;	text-decoration: underline;}a.djs-subnav1 {	text-decoration: none;}a.djs-subnav1:hover {	color: #5abd6b;	text-decoration: underline;}a.djs-subnav1-active {	color: #5abd6b;	text-decoration: none;}a.djs-subnav2 {	text-decoration: none;}a.djs-subnav2:hover {	color: #5abd6b;	text-decoration: underline;}a.djs-subnav2-active {	color: #5abd6b;	text-decoration: none;}div.djs-subnav1 {	border-bottom-color: #cccccc;	border-bottom-style: solid;	border-bottom-width: 1px;}.djs-alfparamsecthead {	margin-top: 10px;	padding-top: 20px;}.gwt-DisclosurePanel-open .header {	font-weight: bold;}.djs-dpheader {	font-weight: bold;	padding-right: 10px;}.djs-dpheader2 {	font-weight: bold;	padding-left: 20px;}.djs-LabelHead {	font-weight: bold;	padding-top: 30px;}.djs-CheckBox {	font-size: smaller;	padding-right: 5px;	padding-top: 7px;}p.djs-preform {	font-family: monospace;	font-size: small;	max-width: 600px;	width: 600px;}.djs-hprspacer {	padding-right: 5px;}pre {	font-size: 12px;	white-space: normal;	width: 600px;}.djs-shplrspacer {	font-size: smaller;	padding-left: 5px;	padding-right: 5px;	padding-top: 3px;}.djs-alfgrid {	width: 100%;}.djs-helppanel {	background-color: #ccffcc;}td {	padding-left: 0px;}.djs-paramsetbox {	border-collapse: collapse;	border-color: #5abd6b;	border-top-width: 1px;	font-weight: bold;	margin-left: 0px;	margin-right: 0px;	margin-top: 15px;	padding-left: 0px;	padding-right: 0px;	padding-top: 15px;}.djs-spacerhline {	border-color: #5abd6b;	border-top-style: solid;	border-top-width: 1px;	padding-top: 15px;}.djs-mailPanel {	padding-bottom: 15px;	padding-top: 15px;}.djs-DisclosurePanel-spacer {	padding-bottom: 15px;	padding-top: 5px;}.djs-levelevents {	border-bottom-width: 1px;	border-collapse: collapse;	border-color: #5abd6b;	border-top-width: 1px;	font-weight: bold;	padding-bottom: 15px;	padding-top: 15px;}.djs-sectionhead {	border-bottom-style: solid;	border-bottom-width: 1px;	border-color: #5abd6b;	padding-top: 30px;}.djs-sectionheading {	font-size: 15px;	font-weight: bold;	padding-right: 5px;}