/* Defaults */
a, div, p, b, i, u, body, html, form, li, ul, ol, h1, h2, h3, h4, h5, h6, h7, table, tr, th, td, img {border-color: #cccccc; border-style: none; border-width: 1px; padding: 0px; margin: 0px; font-weight: normal;}
b {font-weight: bold;}
h1, h2, h3, h4, h5, h6, h7 {margin-bottom: 15px;}
h1 {font-size: 40px;}
h2 {font-size: 35px;}
h3 {font-size: 30px;}
h4 {font-size: 25px;}
h5 {font-size: 20px;}
h6 {font-size: 15px;}
h7 {font-size: 12px;}
p {margin-bottom: 8px;}

/* Links */
a {color: #5555CC; text-decoration: none;}
a:hover {color: #555599; text-decoration: underline;}

/* Body */
body {background-color: #333333;}
div.Jelly_Loading {background-color: #dddddd;}

/* Layout */
.Layout {width: 600px; margin: auto; background-color: white; font-family: Georgia; padding: 50px; font-size: 13px; color: #555555; line-height: 125%;}
.Header {margin-bottom: 50px;}
.Footer {text-align: center; font-size: 10px; margin-top: 10px; border-top-style: dotted;}
.Navigation {margin-right: 24px; border-right-style: dotted; border-right-width: 1px; border-right-color: #CCCCCC; padding-right: 10px;}
.Content {line-height: 150%;}
#Login {padding-top: 25px; margin-top: 25px; border-top-style: dotted;}
div.Example {padding: 15px; margin-bottom: 15px; background-color: #EEEEFF; border-style: solid;}

/* Sections */
.Border_Bottom {border-bottom-style: dotted;}
.Border_Top {border-top-style: dotted;}
.Section {margin-bottom: 25px;}
.Spaced {margin-bottom: 6px;}

/* Text Styles */
.Small {font-size: 11px; font-family: Arial;}
.Bold {font-weight: bold;}
.Italic {font-style: italic;}
.Error {color: red;}
.Result {color: red;}