body { font-family: sans-serif; font-size:14px; text-decoration: none; padding:0; margin:10px; }

img { border: none; }
h3 { margin:20px 0; }
a {  color:#33d; }
a:link {  color:#33d; }
a:visited {  color:#33d; }

a.no_decoration { color: black; text-decoration:none; }
a.link_hover { padding: 0px 2px; }
a.link_hover:hover { padding: 0px 2px; background-color: #bfbfbf; }
a.darker_link_hover { padding: 0px 2px; color:#00008f; }
a.darker_link_hover:hover { padding: 0px 2px; background-color: #bfbfbf; }
a.text_hover { color: black; text-decoration:none; padding: 0px 2px; }
a.text_hover:hover { background-color: #bfbfbf; padding: 0px 2px; }
a.selected_hover { background-color: #bfbfbf; color: black; text-decoration:underline; padding: 0px 2px; }
a.selected_hover:hover { background-color: #8f8f8f; color:black; padding: 0px 2px; }
a.cloud_hover { text-decoration:none; }
a.cloud_hover:hover { background-color: #bfbfbf; text-decoration:underline; }

.fontSizeXXLarge { font-size: 20px; }
.fontSizeXLarge { font-size: 18px; }
.fontSizeLarge { font-size: 16px; }
.fontSizeSmall { font-size: 12px; }
.fontSizeXSmall { font-size: 11px; }
.fontSizeXXSmall { font-size: 10px; }

.marginLeftXXLarge { margin-left: 100px; }
.marginLeftXLarge { margin-left: 75px; }
.marginLeftLarge { margin-left: 50px; }
.marginLeftSmall { margin-left: 30px; }
.marginLeftXSmall { margin-left: 20px; }
.marginLeftXXSmall { margin-left: 10px; }

.menuBar { height:22px; }
.leftMenu { padding-left:5px; margin: 0 2px; margin-top:2px; list-style-type:none; float:left; }
.rightMenu { padding-right:5px; margin: 0 2px; margin-top:2px; list-style-type:none; float:right; }
.leftMenu li, .rightMenu li { display:inline; margin: 0 5px; font-size:14px; font-weight:bold; }
.leftMenu li a.text_hover, .rightMenu li a.text_hover { padding: 0px 5px; }
.leftMenu li a.text_hover:hover, .rightMenu li a.text_hover:hover { background-color: #bfbfbf; padding: 0px 5px; }
.leftMenu li a.selected_hover, .rightMenu li a.selected_hover { padding: 0px 5px; }
.leftMenu li a.selected_hover:hover, .rightMenu li a.selected_hover:hover { background-color: #bfbfbf; padding: 0px 5px; }

form.inline { margin:0; padding:0; display:inline; }
form.form { margin:0; padding:0; background-color:#efebd7; border:1px solid black; }
form.form .caption { margin:0px; padding:2px; background-color:#dfd8c7; font-size:16px; font-weight:bold; text-align:center; border-bottom:1px solid black; }
form.form .pad { padding:4px; margin:5px 10px; }
form.form .input { margin:0; margin-right:5px; padding: 2px; background-color:#efeff7; border:1px solid #888; }
form.form label { margin:0; margin-right:5px; padding:0; font-weight:bold; color:#5555cc; }

form.contact { width:400px; margin:auto; margin-top:50px; }
form.contact label.float { float:left; width:125px; text-align:right; }

form.support { width:400px; margin:auto; margin-top:30px; }
form.support label.float { float:left; width:75px; text-align:right; }

.fieldset { margin:20px; padding:10px; }
.legend { padding:5px; color:#a40000; font-size:18px; font-weight:bold; }
.menuLine { height:22px; background-color:#cfd0df; border-bottom:1px solid #777 }
.menuLineTitle { float:right; padding:0 40px; margin:0; margin-bottom:10px; background-color:#afb0bf; font-size:18px; font-weight:bold; }
.examplesMenu { display:inline; list-style-type:none; margin:0; padding:0; }
.examplesMenu li { display:inline; }
.exampleMenuItem { font-size:14px; }

.tab { margin:0; padding:0; overflow:auto; }