html, body {
margin: 0;
padding: 0;

height: 100%;

background-color: #345;
}

body {
width: 60%;
background-color: #def;
margin: 0 auto;
}

#nav {
position: absolute;
position: fixed;
top: 6em;
left: 0;
margin: 0;
padding: 0;
width: 20%;

list-style-type: none;
text-align: right;
}

#nav .newsec {
margin-top: 2em;
}

#nav a {
display: block;
padding: .3em 1em;
font-size: 100%;
line-height: 140%;

color: #def;
}

#nav a:hover {
color: #fff;
background-color: #134;
}

#nav_login {
position: fixed;
bottom: 1em;
left: 0;
width: 20%;
font-size: 90%;
}

#nav_login a {
display: inline;
text-decoration: none;
}

#nav_login a:hover {
text-decoration: underline;
background-color: transparent;
}

#main {
float: left;
width: 100%;

background-color: #def;

padding-bottom: 3px;
}

#main h2:first-child {
margin-top: 0;
}

#sidebar {
position: absolute;
position: fixed;

right: 0;
bottom: 0;
width: 20%;
max-height: 100%;
overflow: auto;

font-size: 90%;
line-height: 125%;
color: #fff;
}

#sidebar .sections {
list-style-type: none;
margin: 0;
padding: 1em 0 0 1em;
}

#sidebar a {
text-decoration: none;
color: #def;
}

#sidebar a:hover {
text-decoration: underline;
}


#sidebar .sections li.no_contents:after {
font-weight: normal;
font-size: 90%;
margin-left: .8em;
color: #79a;
content: "[Empty]";
}

#sidebar hr {
border: 1px solid #def;
border-width: 1px 0 0 0;
margin: .5em 0 .5em 1em;
}

#sidebar .mathdisplay_link {
padding: 0 0 1em 1em;
}

#sidebar .mathdisplay_link .active:before {
content: "[";
}

#sidebar .mathdisplay_link .active:after {
content: "]";
}

/* TYPOGRAPHY */

body {
font: .8em Verdana, sans-serif;
line-height: 150%;

color: #000;
}

math {
font-size: 130%;
}

abbr {
border-bottom: 1px dotted #000;
}

h1, h2, h3, h4, h5, h6 {
font-family: Georgia, serif;

margin-bottom: .3em;
margin-top: .7em;
}

legend {
color: #000;
}

input {
font-size: inherit;
}



#main > h1 {
text-align: center;
}

#subHeading {
text-align: center;
padding-bottom: 1em;
}

#main > h2 {
background-color: #68a;
font-size: 110%;
line-height: 180%;

padding: 0 .6em;
margin: 0;

border: 1px dashed #234;
border-width: 1px 0;
}

#main > h2+h2, #main > h1+h2 {
margin-top: 1em;
}

#main > h1, #main > h2, #main > h3, #main > h4, #main > h5, #main > h6, #main > p, #main > form, #main > math {
padding: 0 10px;
}

a {
color: #000;
}

a:hover {
color: #234;
}

a.invalid {
color: #d00;
}

a img {
border: 0;
}

#main a:visited {
font-style: italic;
}

a.glossary_link {
background: url(glossary_link.png) 100% 50% no-repeat;
padding-right: 12px;
}

a.ct_link {
background: url(ct_link.png) 100% 50% no-repeat;
padding-right: 12px;
}

a.preprint_link {
background: url(preprint_link.png) 100% 50% no-repeat;
padding-right: 12px;
}

a.external_link {
background: url(external_link.png) 100% 50% no-repeat;
padding-right: 12px;
}

code {
font-family: Monaco, monospace;
font-size: inherit;
background-color: #bcd;
}



.search_form ul {
margin: 0;
padding: 0;
list-style-type: none;
}

.search_form fieldset {
margin: .3em 0 .7em 0;

padding: 0;
border: 0;
}

.search_form fieldset legend {
font-weight: bold;
}

.search_form .search_freetext input {
width: 70%;
}

.search_form .search_section li {
float: left;
width: 100%;

padding: 3px 0;

border-top: 1px dashed #234;
}

.search_form .search_section li:first-child {
border: 0;
}

.search_form select {
float: left;
margin-right: .4em;
}

.search_form .radios {
float: left;
}

#main .search_form a.clear_form:visited {
border: 0;
}

.search_results .new_score {
margin-top: .9em;
}




.sec_newsec {
display: block;
font-weight: bold;
font-size: 110%;
}

#sec_sections {
margin: 0;
padding: 0 10px;

list-style-type: none;
}

#sec_sections li {
float: left;
width: 100%;

border-top: 1px solid #68a;
}

#sec_sections li.just_changed .name {
color: #234;
}

#sec_sections .name {
float: left;
}

#sec_sections .controls {
float: right;
margin-right: 20%;
}

#sec_sections .controls {
color: #234;
}

#sec_sections .controls a {
color: #000;
}

#sec_save_controls {
text-align: right;
}

#sec_save_controls {
float: right;
margin: .4em;
}

#sec_save_controls input {
margin-right: .4em;
}



.blahtex_error {
border: 1px solid #f15166;
background-color: #e3becc;
padding: .5em;
margin: .2em;
}

.blahtex_error .blahtext_text {
font-weight: bold;
}

.blahtex_error .blahtext_text:before {
font-style: italic;
font-weight: normal;
content: "TeX error: ";
}

.blahtex_error .blahtext_code {
margin: .4em;
margin-bottom: 0;
font-family: monospace;
}

.ct_sections {
margin: 1em 0 0 0;
padding: 0;
list-style-type: none;
}

.ct_sections > li.no_contents, .ct_sections > li.editing, .ct_sections > li.hidden {
padding-bottom: 0;
}

.ct_sections > li > h2 {
background-color: #68a;
font-size: 110%;
line-height: 180%;

padding: 0 .6em;
margin: 0;

border: 1px dashed #234;
border-width: 1px 0;
}

.ct_sections > li.no_contents > h2, .ct_sections > li.hidden > h2 {
font-size: 100%;
margin-bottom: 3px;
line-height: 120%;
color: #234;
}

.ct_sections > li.no_contents > h2 {
background-color: #bcd;
border-color: #68a;
}

.ct_sections > li.no_contents.editing > h2, .ct_sections > li.hidden.editing > h2 {
color: inherit;
background-color: #68a;
font-size: 110%;
line-height: 180%;
border-color: #234;
margin-bottom: 0;
}

.ct_sections > li.no_contents > h2:after {
font-weight: normal;
font-size: 75%;
margin-left: .8em;
color: #79a;
content: "[Empty]";
}

.ct_sections > li.no_contents.editing > h2:after {
color: #234;
}

.ct_sections > li > h2 .links, .ct_preview h3 .links {
display: inline;
position: absolute;
padding-right: .5em;
right: 20%;
}

.ct_sections > li > h2 .links a, .ct_preview h3 .links a {
font-weight: normal;
font-size: 90%;
text-decoration: none;
}

.ct_sections > li > h2 .links a:hover, .ct_preview h3 .links a:hover {
text-decoration: underline;
}

#main .ct_sections > li > h2 .links a:visited {
font-style: normal;
}

li .ct_editform {
display: none;
background-color: #fff;
padding-bottom: 1em;

margin: 0;
}

.ct_editform_controls {
padding: 1em;
padding-bottom: 0;

text-align: right;
}

.ct_editform_controls textarea {
display: block;
width: 100%;
height: 18em;

border: 0;
background-color: #fff;

overflow: auto;

text-align: left;
}

.ct_editform_controls input {
margin: .4em;
margin-left: 0;
}

.ct_preview {
display: none;
padding-bottom: 3px;

margin: 0 1em;

background-color: #def;
border: 1px dashed #234;
}

.ct_preview.visible {
display: block;
}

.ct_preview h3 {
font-size: 100%;

margin: 0;
padding: 0 .5em;

background-color: #bcd;
border-bottom: 1px dashed #234;
}

.ct_preview h3 .links {
padding-right: 1.5em;
}

.ct_previewdata {
padding: 0 1em;
}

.ct_preview.loading {
background-color: #bcd;
}

li.editing .ct_editform {
display: block;
}

li.editing .ct_data, li.hidden .ct_data,
.ct_sections li.hidden .comments_pagination,
.ct_sections li.hidden #comments_list {
display: none;
}

.ct_data {
padding: 0 1em;
}

.ct_data > *:first-child {
margin-top: .3em;
}

.ct_data > *:last-child {
margin-bottom: .3em;
}

.ct_code {
display: none;
}



#glo_letters {
text-align: center;
word-spacing: .1em;

padding: 0 .6em;
margin: 0;

border: 1px dashed #234;
border-width: 1px 0;
}

#glo_letters a:visited {
font-style: normal;
}

#glo_letters .active {
font-weight: bold;
}

#glo_list > dt {
background-color: #68a;
font-size: 110%;
line-height: 180%;

padding: 0 .6em;
margin: 0;

border: 1px dashed #234;
border-width: 1px 0;
}

#glo_list .glo_name {
font-family: Georgia, serif;
font-weight: bold;
}

#glo_list .glo_links {
display: inline;
position: absolute;
right: 20%;
padding-right: 1em;
font-size: 90%;
}

#glo_list .glo_links a:visited {
font-style: normal;
}

#glo_list > dd {
margin: 0;
}

#glo_list > dd.editing {
background-color: white;
}

#glo_list .glo_data {
padding: .3em 1em 1em 1em;
}

#glo_list dd.editing .glo_data {
display: none;
}

.glo_code {
display: none;
}

#glo_list dd .ct_editform {
display: none;

float: left;
width: 100%;
margin: 0;
border-bottom: 1px dashed #234;

background-color: #fff;
}

#glo_list .ct_editform textarea {
height: 20em;
}

#glo_list .ct_preview {
margin-bottom: 1em;
}

#glo_list dd.editing .ct_editform {
display: block;
}

#glo_list dd.editing .ct_data {
display: none;
}


.login_error {
border: 1px solid #f15166;
background-color: #e3becc;
padding: .5em;
margin: .2em;
}

.login_table label {
margin-right: 1em;
}



#comment_form {
margin-top: 0;
}

#comment_formtable {
line-height: 2em;
}

#comment_formtable th {
text-align: right;
vertical-align: top;
width: 13em;
}

#comment_formtable td {
vertical-align: top;
}

#comment_securitycode th, #comment_securitycode td {
line-height: 40px;
}

.comment_formabout {
font-style: italic;
font-size: 90%;
color: #234;
line-height: 130%;
}

.comment_formabout em {
font-style: normal;
}

#comment_error {
border: 1px solid #f15166;
background-color: #e3becc;
padding: .5em;
margin: 1em .2em .2em .2em;
}

#comment_form .ct_editform_controls {
padding: 0;
}

#comment_textarea {
border: 1px dashed #234;
padding: .1em;
margin: 0 0 0 -.1em;
font: inherit;
}



.comments_pagination {
text-align: center;
margin-bottom: 1em;
}

.comments_pagination .links {
margin-left: .4em;
display: inline;
}

#main .comments_pagination .links a {
text-decoration: none;
font-style: normal;
}

.comments_pagination .links a .text {
text-decoration: underline;
}

#comments_list {
margin: 0;
padding: 0;
}

#comments_list li {
list-style-type: none;
padding: 0 10px;
margin-bottom: 1em;
}

#comments_list .head {
margin-left: 1em;
margin-bottom: .2em;
}

#comments_list .remove form {
display: inline;
}

#comments_list .msg {
background-color: #fff;
border: 1px dashed #234;
padding: .1em;
}


.edit_texts_form textarea {
width: 100%;
height: 20em;
margin-top: 1em;
}

.edit_texts_form input {
margin-bottom: 1em;
}