iframe { border: 0px; padding: .5em; } iframe.tex { width: 920px; padding: 0em; } #display { z-index: 1; width: 690px; height: 550px; wrap: word-break; editable: true; overflow: auto; border: 1px solid #723800; padding: 1em; position: absolute; top: 80px; left: 0px; background-color: #ffffff; font-size: 15px; font-family: monospace; letter-spacing: 0px; line-height: 16px; } #input { z-index: 0; position: absolute; top: 80px; left: 2px; } #tex_ads { margin-top: 43em; } textarea.advanced { z-index: -1; padding: 0px; font-family: monospace; font-size: 15px; line-height: 16px; letter-spacing: 0px; overflow: hidden; } form.input { width: 500px; height: 400px; overflow: hidden; } .cursor { font-style: bold; font-size: 18pt; } .cursor_highlight { background-color: #999999; } .highlight_error { background-color: #FF0000; } .highlight { background-color: #999999; } .major_keyword { background-color: #333333; color: white; } .minor_keyword { color: #333333; } .comment { color: grey; } .search_result { background-color: #FFF333; color: black; } .box { background: #F3E9C3; } .boxtop { background: url(images/ne.gif) no-repeat top right; } .boxtop div { height: 30px; background: url(images/nw.gif) no-repeat top left; } .boxbottom { background: url(images/se.gif) no-repeat bottom right; } .boxbottom div { height: 30px; background: url(images/sw.gif) no-repeat bottom left; } .boxcontent { padding: 0px 30px 0px 30px; } p.comment { font-size: 12px; border-top: 1px solid #000000; border-bottom: 1px solid #000000; } textarea.forum { font-size: 14px; } img.broadcast { // 50 x 50 width: 21px; height: 21px; margin-right: .1em; margin-left: .1em; cursor: pointer; } html { margin-top: .5em; margin-bottom: 1em; margin-left: 1em; margin-right: 1em; } body { font-family: arial, helvetica, sans-serif; font-size: 14px; letter-spacing: .15em; line-height: 1.4em; color: #723800; max-height: 80em; } label { width: 6em; float: left; margin-right: .5em; margin-top: .5em; display: block; } .txtarea { font-family: arial, helvetica, sans-serif; font-size: 15px; letter-spacing: .1em; padding-left: .2em; padding-right: .2em; } .pdf_success { background-color: #05D40C; } .pdf_failure { background-color: #FF0000; color: #FFFFFF; } .spellcheck_ok { background-color: #00FF00; } .spellcheck_errors { background-color: #FF0000; color: #FFFFFF; } .error { background-color: #FF0000; color: #FFFFFF; } input.txt { color: #723800; font-family: arial, helvetica, sans-serif; font-size: 15px; font-weight: normal; letter-spacing: .1em; padding-left: .1em; margin-left: .25em; margin-top: .5em; padding-left: .2em; padding-right: .2em; width: 11em; } input.btn { margin-left: .1em; color: #723800; font-family: arial, helvetica, sans-serif; font-size: 15px; background-color: #F3E9C3; border: 1px solid #723800; } a { color: #723800; text-decoration: none; font-weight: bold; border-bottom: 2px dotted #723800; cursor: pointer; } a.large { text-decoration: none; font-size: 14px; font-weight: normal; cursor: pointer; } a.large_tall { text-decoration: none; font-size: 14px; font-weight: normal; cursor: pointer; line-height: 1.8em; } a.large_indent { text-decoration: none; font-size: 14px; font-weight: normal; margin-left: 3em; cursor: pointer; } a.large_top_margin { text-decoration: none; font-size: 14px; font-weight: normal; cursor: pointer; margin-top: .5em; } a.saved, a.popup, a.toolbar_popup { text-decoration: none; font-size: 12px; font-weight: normal; cursor: pointer; } a.small_bold { text-decoration: none; font-size: 13px; font-weight: bold; cursor: pointer; letter-spacing: .05em; } a.spaced { text-decoration: none; font-size: 12px; font-weight: normal; margin-right: 1em; cursor: pointer; } a.spaced_small { text-decoration: none; font-size: 11px; font-weight: normal; margin-right: 1em; cursor: pointer; } a.img { cursor: pointer; text-decoration: none; border: none; } a.screen_left { cursor: pointer; text-decoration: none; border: none; position: relative; float: left; } a.screen_right { cursor: pointer; text-decoration: none; border: none; position: relative; float: right; } a.popup div { visibility: hidden; left: 6em; top: 10em; position: absolute; background-color: #FFFFFF; z-index: 2; border: 5px solid #723800; font-size: 17px; padding: 1.5em; max-width: 45em; } a.popup:hover div { visibility: visible; } img { vertical-align: middle; } img.logo { width: 225px; height: 115px; padding-right: 3em; } img.logo_small { width: 112px; height: 57px; margin-right: .2em; margin-bottom: .2em; } img.refresh { width: 19px; height: 19px; margin-right: .2em; margin-left: .2em; cursor: pointer; } img.plus { width: 19px; height: 17px; margin-right: .2em; margin-left: .2em; cursor: pointer; } img.minus { width: 19px; height: 17px; margin-left: .2em; margin-right: .2em; cursor: pointer; } img.trashcan { width: 22px; height: 22px; margin-left: .2em; margin-right: .2em; cursor: pointer; } img.pdf { width: 22px; height: 22px; margin-left: .2em; margin-right: .2em; border: none; cursor: pointer; } img.disk { width: 25px; height: 25px; cursor: pointer; } img.collaborate { width: 25px; height: 25px; cursor: pointer; } img.check { width: 25px; height: 25px; margin-left: .2em; margin-right: .2em; } img.public { cursor: pointer; } img.private { cursor: pointer; } img.search { cursor: pointer; } img.mag_glass { width: 25px; height: 25px; cursor: pointer; } img.local { width: 25px; height: 25px; cursor: pointer; } img.spellcheck { width: 25px; height: 25px; cursor: pointer; } img.file { width: 25px; height: 25px; cursor: pointer; } img.left { width: 25px; height: 25px; cursor: pointer; } img.right { width: 25px; height: 25px; cursor: pointer; } img.left-corner { position: relative; float: left; } img.right-corner { position: relative; float: right; } img.pic_btn { /* 100x29 */ border: none; } img.advertisement { display: block; margin-left: auto; margin-right: auto; } img.nav_arrow { /* 243 x 93 */ width: 81px; height: 31px; } button.btn { margin-left: .1em; margin-right: .1em; } table { font-size: 12px; } ul { } li { list-style: none; margin-left: .5em; display: inline; } div.header { font-size: 16px; font-weight: bold; margin-top: .5em; } div#files_toolbar { top: 1.25em; left: 0em; position: absolute; background-color: #FFFFFF; z-index: 2; border: 2px solid #723800; padding-left: 1em; padding-right: 1em; padding-top: .75em; padding-bottom: .75em; visibility: hidden; } div#shortcuts_toolbar { top: 1.25em; left: 6em; position: absolute; background-color: #FFFFFF; z-index: 2; border: 2px solid #723800; padding-left: 1em; padding-right: 1em; padding-top: .75em; padding-bottom: .75em; visibility: hidden; } div#latex_toolbar { top: 1.25em; left: 28em; position: absolute; background-color: #FFFFFF; z-index: 2; border: 2px solid #723800; padding-left: 1em; padding-right: 1em; padding-top: .75em; padding-bottom: .75em; visibility: hidden; } div#account_toolbar { top: 1.25em; left: 38em; position: absolute; background-color: #FFFFFF; z-index: 2; border: 2px solid #723800; padding-left: 1em; padding-right: 1em; padding-top: .75em; padding-bottom: .75em; visibility: hidden; } p.header { font-size: 16px; font-weight: bold; } p.normal { font-size: 14px; } p.normal_indent { font-size: 14px; margin-left: 3em; } p.big_header { font-size: 28px; font-weight: bold; } #container{ width: 1050px; margin-bottom: 2em; height: 60em; max-height: 80em; } #login { position: relative; float: right; } #public_docs { font-size: 16px; font-weight: bold; margin-top: 1.5em; } #logo { position: relative; float: left; width: 45%; } #logo_left { position: relative; float: left; } #logo_right { position: relative; float: right; margin-top: 1.5em; } #divider { clear: both; border-top: 1px solid #723800; width: 100%; height: 1px; } #info { margin-top: .3em; } #error { margin-top: .3em; } #main { margin-top: 1em; } #main_left { margin-top: 1em; margin-bottom: 2em; position: relative; float: left; } #main_right { margin-top: 2em; position: relative; float: right; background-color: #F3E9C3; } #left { position: relative; float: left; width: 24%; padding-right: .25em; } #prefs { word-wrap: break-word; } #saved { word-wrap: break-word; } #small_saved { max-height: 20em; overflow: auto; border: 1px solid #723800; padding-left: .2em; padding-right: .2em; } #saved_bibs { word-wrap: break-word; } #small_saved_bibs { max-height: 20em; overflow: auto; border: 1px solid #723800; padding-left: .2em; padding-right: .2em; } #saved_stys { word-wrap: break-word; } #small_saved_stys { max-height: 20em; overflow: auto; border: 1px solid #723800; padding-left: .2em; padding-right: .2em; } #saved_collaborated { word-wrap: break-word; } #small_saved_collaborated { max-height: 20em; overflow: auto; border: 1px solid #723800; padding-left: .2em; padding-right: .2em; } #loading { color: #EEEEEE; } #search { } #tex { position: relative; float: right; width: 74%; padding-left: .25em; } #login_control { position: relative; float: right; text-align: right; } #under_ta { clear: both; width: 100%; height: 1em; } #upgrade { position: relative; float: left; } #survey { position: relative; float: left; } #browser_detect { position: relative; float: left; } #diggit { clear: both; position: relative; float: left; } #ads { margin-top: 2em; position: relative; float: left; clear: both; } .logo_top { font-size: 48px; font-weight: bold; color: #DFC35D; } .logo_bottom { font-size: 56px; font-weight: bold; } .logo_pt { font-size: 14px; font-weight: bold; } .small_logo_top { font-size: 26px; font-weight: bold; color: #DFC35D; } .small_logo_bottom { font-size: 20px; font-weight: bold; } .small_logo_pt { letter-spacing: .05em; font-size: 12px; font-weight: bold; } .bold { font-weight: bold; } .accent { font-size: 28px; font-weight: bold; }