input, button,hr,textarea,.quitbox,.vert_sep_name,.framename { display: none; }
div#_main_editor_>div.framed1>div:nth-last-child(1) { display: none; }
.framed1 {
border:none;!important
}
body {
    background: #ccc;
}
#_main_editor_ {
    max-width: 50em;
    margin: 0 auto;
    padding: 0.6em;
    background: white;
    box-shadow: 0 .6em 1.2em rgba(0,0,0,0.5);
}
.prompter {
background-color:#ECF4F8; padding:2px; 
}
.editable:hover .prompter {
background-color:#E0F0FF; 
}
.prompter input[type="text"] {
background:white; font-family:sans-serif; 
}
.prompter textarea {
background:white; width:99%; 
}
.prompter button, .prompter input[type="submit"] {
font-size:0.70em; font-family: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; 
}
body {
font-family:sans-serif; margin:0; padding:0; 
}
table,tbody,tr {
padding:0px; margin:0px; 
}
div.fieldwithbuttons {
/* display:table-row;*/
padding:0px; margin: 0 0 0.6em 0; 
}
div.fieldwithbuttons > div {
/*display:table-cell;*/
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; 
}
fieldset {
border:solid thin; border-color:inherit; 
}
.fill {
   width:100%;
}
.fill {
/* width:100%; */
}
textarea {
width:99%; 
}
.centered {
text-align:center; 
}
.flush_right {
text-align:right; 
}
.framed1 {
margin:0.33333em; border:thin none; border-color:inherit; 
}
.framed2 {
border:thin double; border-color:inherit; 
}
.window {
border:medium solid transparent; 
}
.framename {
border:none; border-bottom:thin solid; font-family:sans-serif; font-size:0.83em; 
margin:-0.33333em -0.33333em 0.66667em -0.33333em; padding:0.33333em; 
}
.window > .framename {
margin:0; padding:1px 1px 3px 1px; font-weight:bold; 
}
ms {
font-family:serif; 
}
ms[class~=clstring]:before {
content:"‘"; 
}
ms[class~=clstring]:after {
content:"’"; 
}
ms[class~=clchar]:before {
content:"“"; 
}
ms[class~=clchar]:after {
content:"”"; 
}
merror {
padding:1px; margin:0px; 
}
math {
padding:0.083333em; 
}
math[mode~=display] {
padding:0; 
display: block !important;
text-align: center;
}
[class~=ident] {
font-style:normal; 
}
[class~=adident] {
font-style:normal; 
}
[class~=id_sub] {
font-style:normal; 
}
[class~=inh_col_id] {
font-style:normal; 
}
[class~=case] {
padding-left:1em; 
}
[class~=kwrd] {
font-weight:bold; font-style:normal; 
}
[class~=bdsucc] {
font-size:smaller; 
}
.clause,[class~=clause] {
margin-left:1em; text-indent:-1em; text-align:left !important; 
}
.clause *,[class~=clause] * {
margin-left:0em; text-indent:0em; 
}
.cform,[class~=cform] {
text-align:left; 
}
hr {
height:1px; padding:0px; margin:0px; border:none; border-top:thin dotted; 
}
.editable:hover hr {
border-top:thin solid #999; 
}
input[type="text"] {
background:white; border:2px inset inherit; 
}
textarea {
background:white; 
}
.error, [class~=error] {
background-color:#a00; color:yellow; font-weight:bold; margin:0px; padding:2px; 
}
.editerror {
background-color:#a00; 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:sans-serif; 
}
.buttons {
vertical-align:bottom; 
}
.button {
color:#444; border:#eeeeee outset thin; background-color:#eeeeee; font-size:0.70em; 
font-family:sans-serif; margin:1px; padding:0px 1px 1px 0px; 
}
.editable:hover .button,.button:hover,.button:focus {
color:black; border-color:yellow; background-color:yellow; 
}
.button:active {
border:#FFFFC0 inset thin; background-color:#FFFFC0; padding:1px 0px 0px 1px; 
margin:1px; 
}
.editbutton {
color:#444; border:#eeeeee outset thin; background-color:#eeeeee; width:5em; 
font-size:0.70em; font-family:sans-serif; margin:1px; padding:0px 1px 1px 0px; 
}
.editable:hover .editbutton,.editbutton:hover,.editbutton:focus {
color:black; border-color:#FFC000; background-color:#FFC000; 
}
.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: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: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: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:76%; color:gray; 
}
.pred_format, .pred_induct, .fun_constr, .fun_pred_free, .pred_expl, [class = "comp_id_hdr"] {
font-style:normal; 
}
.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; 
}
#_updater_ {
display:none; position:fixed; top:38.2%; height:1.2em; left:38.2%; right:38.2%; 
border:thin dotted black; padding:1px; text-align:center; font-size:83%; background:#E0F0FF; 
}
.title {
font-weight:bold; 
}
b {
color:maroon; 
}
i {
color:navy; 
}
.xmlconstant {
margin-left:2%; margin-top:1px; border:thin inset #888; width:96%; max-width:96%; 
overflow:auto; 
}
.xmlconstant td {
background-color:#eee; 
}
.xmlconstant th {
background-color:#E0F0FF; 
}
iframe.xmlconstant {
height:15em; 
}
div.inlinedhtmltitle {
background-color:#ccc; padding:1em 1ex; border-bottom:medium solid black; 
}
a:hover {
background-color:yellow; 
}
a.xmlinnewwin {
display:block; float:right; font-size:0.70em; 
}
[class~=comp_id_hdr] {
color:#404080; 
}
[class~=builtin] {
color:blue; 
}
[class~=ident] {
color:navy; 
}
[class~=adident] {
}
[class~=id_sub] {
color:inherit; 
}
[class~=inh_col_id] {
color:inherit; 
}
[class~=number] {
color:blue; 
}
[class~=bignum] {
color:teal; 
}
[class~=bvar] {
color:#008800; 
}
[class~=goal] {
color:#008800; 
}
[class~=bdsucc] {
color:blue; 
}
mo[class~=cp2], mrow[class~=cp2] > mo {
color:#008800; 
}
mo[class~=cp3], mrow[class~=cp3] > mo {
color:maroon; 
}
mo[class~=cp4], mrow[class~=cp4] > mo {
color:#008888; 
}
mo[class~=cp5], mrow[class~=cp5] > mo {
color:purple; 
}
[class~=deflt] {
color:red; 
}
.eqlabel {
color:green; vertical-align:middle; 
}
table:hover .eqlabel {
color: #0a0;
}
ms {
color:blue; 
}
mrow[class~=cp1]:hover {
background-color:#ffc; 
}
mrow[class~=cp2]:hover {
background-color:#dfd; 
}
mrow[class~=cp3]:hover {
background-color:#fec; 
}
mrow[class~=cp4]:hover {
background-color:#eff; 
}
mrow[class~=cp5]:hover {
background-color:#fef; 
}
.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; 
}