input,textarea,.quit_box,.vert_sep_name,hr,button { display: none; }
.framename { display: none; }
.prompter {
background-color:#E0F0FF; padding:2px; 
}
.prompter input[type="text"] {
background:#E0E0E0; font-family:serif; 
}
.prompter textarea {
width:100%; 
}
.prompter button, .prompter input[type="submit"] {
font-size:0.70em; font-family:tahoma,verdana,sans-serif; padding:0px; margin:0.5em; 
width:5em; border:thin outset #FFC000; background-color:#FFC000; 
}
.prompter .inline_button button, .prompter .inline_button input[type="submit"] {
padding:0px; margin:0px 0.5em 0.5em 0.5em; vertical-align:-0.8ex; 
}
.prompter button:active, .prompter input[type="submit"]:active {
border:thin inset #FFE080; background-color:#FFE080; 
}
.prompter label {
cursor:default; 
}
.prompt_tip {
border:none; 
}
.prompter_oneof_leaf {
margin:0px 0px 0px 1em; padding:0px; 
}
.prompter_cart_horiz {
border-collapse:collapse; border:medium dotted white; padding:0.5ex 0px 0px 0px; 
margin:0.5ex 0px 0px 0px; width:100%; 
}
.prompter_cart_horiz>tr>td {
vertical-align:top; border:medium dotted white; 
}
.prompter_oneof {
border:none; border-top:thin solid white; padding:0px 0px 0px 1em; margin:0px; 
width:100%; 
}
.prompter_oneof>tr>td {
width:100%; margin:0px; padding:3px; 
}
.prompter_oneof>tr>th {
margin:0px; padding:4px; vertical-align:top; 
}
[class="ad_constr_prompt"] {
font-style:normal; color:red; 
}
[class="ad_constr_arg"] {
font-style:normal; color:green; 
}
.header [class="ad_constr_arg"] {
font-style:normal; color:#408040; 
}
[class="ad_constr_info"] {
color:blue; 
}
[class="ad_constr_preview"] {
vertical-align:center; text-align:center; background-color:white; 
}
label:hover,label:focus,label:active {
color:blue; 
}
table,tbody,tr {
padding:0px; margin:0px; 
}
td {
padding:0px; margin:0px; vertical-align:middle; 
}
a[name] {
display:none; 
}
p {
margin-top:1ex; margin-bottom:1ex; 
}
form {
padding:0px; border:0px; margin:0px; 
}
pre {
padding:0px; border:0px; margin:0px; 
}
hr {
height:1px; padding:0px; margin:0px; border:none; border-top:thin dotted; 
}
fieldset {
border:solid thin; border-color:inherit; 
}
input[type="text"] {
background:inherit; border:thin inset inherit; 
}
textarea {
width:100%; 
}
.fill {
width:100%; 
}
.centered {
text-align:center; 
}
.flush_right {
text-align:right; 
}
.framed1 {
border:none; border-color:inherit; 
}
.framed2 {
border:none; border-color:inherit; 
}
.window {
border:medium solid transparent; 
}
.framename {
border:none; border-bottom:thin solid; font-family:tahoma,verdana,sans-serif; 
font-size:0.83em; padding:1px; 
}
.window > .framename {
font-weight:bold; 
}
.error, [class~=error] {
background-color:red; color:yellow; font-weight:bold; margin:0px; padding:2px; 
}
.editerror {
background-color:red; color:yellow; margin-top:0px; margin-bottom:0px; text-weight:bold; 
overflow:auto; 
}
.hor_sep {
padding:0px; border-right:1px solid; 
}
.vert_sep_name {
padding-left:1px; padding-right:2px; background-color:transparent; white-space:nowrap; 
font-size:0.83em; font-family:tahoma,verdana,sans-serif; 
}
.buttons {
vertical-align:bottom; 
}
.button {
border:yellow outset thin; background-color:yellow; font-size:0.70em; font-family:tahoma,verdana,sans-serif; 
margin:1px; padding:0px 1px 1px 0px; 
}
.button:active {
border:#FFFFC0 inset thin; background-color:#FFFFC0; padding:1px 0px 0px 1px; 
margin:1px; 
}
.editbutton {
border:#FFC000 outset thin; background-color:#FFC000; width:5em; font-size:0.70em; 
font-family:tahoma,verdana,sans-serif; margin:1px; padding:0px 1px 1px 0px; 
}
.editbutton:active {
border:#FFE080 inset thin; background-color:#FFE080; padding:1px 0px 0px 1px; 
margin:1px; 
}
.editbuttontd {
vertical-align:middle; 
}
.protfield {
max-width:100%; overflow:auto; 
}
.quit {
border:aqua outset thin; background-color:aqua; font-size:0.70em; font-family:tahoma,verdana,sans-serif; 
margin:1px; padding:0px 1px 1px 0px; 
}
button.quit {
white-space:nowrap; 
}
.quit:active {
border:#80FFFF inset thin; background-color:#80FFFF; padding:1px 0px 0px 1px; 
margin:1px; 
}
.acskey {
text-decoration:underline; 
}
.indented {
text-indent:1em; 
}
.proofpointConj {
background:red; border:thin outset red; text-indent:0pt; vertical-align:middle; 
font-size:0.70em; font-family:tahoma,verdana,sans-serif; margin:1px; padding:0px 1px 1px 0px; 
}
.proofpointConj:active {
border:#FF8080 inset thin; background-color:#FF8080; padding:1px 0px 0px 1px; 
margin:1px; 
}
.proofpointBack {
background:lime; border:thin outset lime; text-indent:0pt; vertical-align:middle; 
font-size:0.70em; font-family:tahoma,verdana,sans-serif; margin:1px; padding:0px 1px 1px 0px; 
}
.proofpointBack:active {
border:#80FF80 inset thin; background-color:#80FF80; padding:1px 0px 0px 1px; 
margin:1px; 
}
.virt .proofpointConj, .virt .proofpointBack {
display:none; 
}
.sub {
max-height:650px; overflow:auto; 
}
ol ol {
list-style-type:lower-alpha; 
}
ol ol ol {
list-style-type:lower-roman; 
}
ol ol ol ol {
list-style-type:upper-alpha; 
}
.proofcmd {
border:thin outset #FFFFC0; background:#FFFFC0; vertical-align:middle; margin:1px; 
padding:0px 1px 1px 0px; 
}
.proofcmd:active {
border:thin inset #FFFFD0; background:#FFFFD0; padding:1px 0px 0px 1px; margin:1px; 
}
.header {
font-size:smaller; color:gray; 
}
.pred_format, .pred_induct, .fun_constr, .fun_pred_free, .pred_expl, [class = "comp_id_hdr"] {
font-style:italic; 
}
.pred_format {
color:#808040; 
}
.pred_induct {
color:#408080; 
}
.fun_constr {
color:#408040; 
}
.fun_pred_free {
color:#404040; 
}
.fun_pred_err {
color:#FF4040; 
}
.fun_pred_nsgm0 {
color:#C04040; 
}
div#_main_editor_>form.quit_box {
position:fixed; top:0px; right:0px; background:white; padding:1px; border:thin dotted black; 
border-width:0px 0px thin thin; 
}
.virt form.quit_box {
text-align:right; 
}
.detached form.quit_box {
border:thin solid transparent; float:right; 
}
.detached {
position:fixed; 
}
iframe#_updater_ {
display:none; position:fixed; top:38.2%; height:1.2em; left:38.2%; right:38.2%; 
border:thin dotted black; padding:1px; background:#E0F0FF; 
}
.title {
font-weight:bold; 
}
b {
color:maroon; 
}
i {
color:navy; 
}
[class~=comp_id_hdr] {
color:#404080; 
}
[class~=builtin] {
color:blue; 
}
[class~=ident] {
color:navy; font-style:italic; 
}
[class~=adident] {
font-style:italic; 
}
[class~=id_sub] {
color:inherit; font-style:normal; 
}
[class~=inh_col_id] {
color:inherit; font-style:italic; 
}
[class~=number] {
color:blue; 
}
[class~=bignum] {
color:teal; 
}
[class~=bvar] {
color:green; 
}
[class~=goal] {
color:green; 
}
[class~=bdsucc] {
color:blue; font-size:smaller; 
}
[class~=cp2] {
color:green; 
}
[class~=cp3] {
color:teal; 
}
[class~=cp4] {
color:maroon; 
}
[class~=cp5] {
color:purple; 
}
[class~=deflt] {
color:red; 
}
[class~=case] {
padding-left:1em; 
}
[class~=kwrd] {
font-weight:bold; font-style:normal; 
}
.eqlabel {
color:green; vertical-align:middle; 
}
.clause,[class~=clause] {
margin-left:1em; text-indent:-1em; text-align:left; 
}
.cform,[class~=cform] {
text-align:left; 
}
merror {
padding:1px; margin:0px; 
}
.fg0 {
color:yellow; 
}
.fg1 {
color:white; 
}
.fg2 {
color:lime; 
}
.fg3 {
color:#18b2b2; 
}
.fg4 {
color:red; 
}
.fg5 {
color:fuchsia; 
}
.fg6 {
color:#E0F0FF; 
}
.fg7 {
color:gray; 
}
.fg8 {
color:silver; 
}
.fg9 {
color:olive; 
}
.fga {
color:green; 
}
.fgb {
color:aqua; 
}
.fgc {
color:maroon; 
}
.fgd {
color:purple; 
}
.fge {
color:#1818b2; 
}
.fgf {
color:black; 
}
.fgg {
color:navy; 
}
.bg0 {
background-color:yellow; 
}
.bg1 {
background-color:white; 
}
.bg2 {
background-color:lime; 
}
.bg3 {
background-color:#18b2b2; 
}
.bg4 {
background-color:red; 
}
.bg5 {
background-color:fuchsia; 
}
.bg6 {
background-color:#E0F0FF; 
}
.bg7 {
background-color:gray; 
}
.bg8 {
background-color:silver; 
}
.bg9 {
background-color:olive; 
}
.bga {
background-color:green; 
}
.bgb {
background-color:aqua; 
}
.bgc {
background-color:maroon; 
}
.bgd {
background-color:purple; 
}
.bge {
background-color:#1818b2; 
}
.bgf {
background-color:black; 
}
.bgg {
background-color:navy; 
}