/* PAGE MODULE => Work/royal/planB.html */
/* A section cleaned up after June 2014 has a heading that ends on `*/
body { background: 40px top repeat-y url(img/beatrix-icon.jpg) #c9a6b6;
  font: 16px 'Times New Roman', Times, serif;
  text-align: center; margin: 0; }
body.hard { background: left top repeat-y url(img/beatrix.jpg) #F0E7D6; }
body.fast { background-color: #490040; }
body.open { background: #D8C0B6; }
body.edit { background: #f88000 none; }
div#main { width: 600px; background-color: #f6f6f6;
  text-align: left; padding: 2px 12px;
  border: solid #cccccc; border-width: 0 1px;
  margin-left: auto; margin-right: auto; }
h1, h2 { text-align: center; margin: 20px 14px 15px 0; clear: both; }
h3, h4 { margin: 18px 0 14px; }
.intro h1 { margin: 0 0 16px; }
.intro h2 { margin: 16px 0 20px; }
.intro p { margin: 12px 20px; text-align: justify; }
.extro { margin: 25px 0 20px; }
.extro h2 { margin: 22px 0 42px; }
/* email link #meal to appear when "version" is "ready" */
.extro span.meal { display: none; line-height: 125%; }
.extro a#meal { font-size: 65%; 
  padding: 0 2px 2px; border-bottom: dotted 2px; }
a#meal:link, a#meal:visited { background-color: #ddddf8; 
  border-bottom-color: #777777; }
a#meal:hover, a#meal:active  { 
  background-color: #ffdddd; border-bottom-color: #ff0000;}
div.pdf, div.knob { float: right; text-align: right;
  line-height: 150%; margin: 0px -8px 2px 14px; }
.extro .knob { margin-top: -22px; }
strong.party { color: #F77000; }
p.motto { font-style: italic; text-align: right; margin-top: -2px; }
#main p.verse { font-style: italic; text-align: justify;
  margin: 14px 40px; }
li, dt, dd { margin-bottom: 3px; }
dd { margin-left: 40px; }
dd strong { margin: 0 6px 0 -10px; } /* first */
img.rtop { float: right; width: 234px; cursor: help;
  border: solid 1px #333333; margin: 3px 0 9px 12px; }
div.ctop { text-align: center; }
div.ctop img {
  width: 500px;
  border: solid 1px #333333;
}
em, dfn { margin-right: 1px; }
h2 cite { margin-right: 4px; }
h3 cite { margin-left: 1px; }
abbr { font-variant: small-caps; }
p.su { line-height: 130%; }
q {}
/* <hr sudden color bug in Exploror by top-bottom margins (if -zoom) */
div.hr { margin: 17px 0; padding: 5px 0 3px; }
hr { width: 400px; margin-left: auto; margin-right: auto; }
hr.sect { width: 300px; }
p.theo { background-color: #ffffff; line-height: 125%;
  padding: 4px 5px; border: solid 1px #000000; }
p.theo strong { margin-right: 2px; }

/* SUBSCRIPT MODULE */
sup, sub { line-height: 0;    /* 0% for old Explorer, new Firefox */
  font-size: 75%; position: relative; vertical-align: baseline; }
sup { top: -0.5em; }
sub { bottom: -0.3em; }
.sub, b.nest b.sub, .nix code.sub { color: #f90000; }
sub.sub, code.sub sub  { font-size: 85%; bottom: -0.2em; }
sub sub, sup sup { font-size: 85%; }
sub sub sub { font-size: 92%; }
sub.f { margin-left: 1px; margin-right: -0.1em; } /* F sub.f i () */
/* Nested arrays */
b.nest b.sub, code.sub { font-size: 95%; }
b.sub, b.nest b.sub, span.note b.sub, b.char, .nest span.sub {
  margin: 0 1px 0 -1px; }
.sub b.sub, b.nest b.sub b.sub, .nest .sub .sub,
.Bf .sub .sub, .Bf b.nest .sub .sub, sub.sub sub { color: #fc5500; }
.sub b.sub b.sub, b.nest b.sub b.sub b.sub,
.Bf .sub .sub .sub, .Bf b.nest .sub .sub .sub {
  color: #ff8800; font-size: 90%; }
span.sub { margin: 0 1px; }

/* MATHS CODE MODULE */
pre, pre b, code { font: 90% 'Courier New', monospace; }
pre { line-height: 155%; margin: 14px 10px 14px 30px; }
div.lh, pre.lh, li.lh, span.lh { line-height: 175%; }
p.lh { line-height: 135%; }
#main ul.lh, #main ol.lh { line-height: 175%; }
#main li.lh, #main .lh li { margin-top: 6px; margin-bottom: 6px; }
code { line-height: 114%; margin: 0 1px; white-space: nowrap; }
code b, pre b { font-weight: normal; }
/* Quantifiers 
   {n} i.rex on single char, b.rex on word, .span.rex on , */
.rep, .dot, .rex, b.nest .rex, .move { color: #cc00cc; }
i.rep { margin-right: 3px; }
.rex { font-size: 96%; }
i.rex, span.rex { margin-right: 2px; }
b.rex { margin-right: 1px; }
span.rex { font-style: italic; margin-left: -1px; }
i.dot { font: 1em/120% 'Courier New', monospace; margin: 0 1px; }
.set, .char { color: #803090; }
i.set, i.is, i.isc { font-style: normal; }
i.rep i.is { font-style: italic; }
code.move, b.move {
  font-style: normal; font-size: 1.1em; line-height: 90%; }
b.move { margin: 0 2px; }
span.uu { border-bottom: dotted 1px #aa33aa; }  /* distinguish :x: reps */
.sub span.uu { padding-bottom: 1px; }
/* Special operators 
   po    +*  postponed operators + ++ +* +** +^
   iop   -*  inverse superpowers - -* -** -^
   lten  <:  little endian  `*/
.po, .nix code.po, .iop, .lten { color: #006080; }
b.po, b.iop { margin: 0 1px; }
b.lten { margin: 0 1px 0 2px; }
/* Various provisions */
.logic { color: #808890; font-weight: bold; margin: 0 2px; }
#main b.logic { font: bold 1.2em/90% 'Courier New', monospace;
  color: #808890; margin: 0 4px 0 3px; }
b.ggg { letter-spacing: -2px; }  /* shorten >>> .logic signs */
code.ggg { letter-spacing: -1px; }
.struct { background-color: #ffffff; }
code.struct { background-color: #e6e6e6; }
.sep, .seps { background-color: #ffffff; border: solid 1px #f90000;
  padding: 0 1px 1px; margin: 0 2px; }
.struct { font: 13px/100% Arial, sans-serif; border: solid #a09089;
  border-width: 1px; padding: 0 2px; margin: 0 1px; }
.norm, .ord { color: #000000; }
div#main .old { color: #990000; }
span.note { color: #777070; font: 13px Arial, sans-serif;
  margin: 0 1px 0 2px; }
span.note code, span.note .old { font-size: 1.1em; }
b.nest, .nest b, span.note b, .is { margin: 0 1px; }
.nest, .nix code.nest { color: #000099; }
.nest b { color: #0000cc; }
.nest b b { color: #0000ff; }
.isc { margin: 0 4px 0 1px; }
.err { color: #cc0033; text-decoration: line-through; }
/* Functions */
.Arr { color: #006600; }
.Arr b.nest { color: #009900; }
.Hyp { color: #d00070; }
b.Hyp { margin-left: 1px; }
/* Beaf */
div.eaf { color: #332200; }
.Bf, .nix code.Bf { color: #5c4c00; }
.Bf .nest, b.Bf b.nest { color: #837300; }
.Bf .nest b, b.Bf b.nest b { color: #a09000; }
.Bf .sub, .Bf b.nest .sub, b.Bf b.nest .sub { color: #c07000; }
.Bf b.Hyp { margin: 0 2px; }
.Bf .sep { border-color: #aa8033; }
.Bf i.trail { color: #808890; }   /* sign , right */
/* Atrix | Btrix */
.Bx, .nix code.Bx { color: #000077; }
.Bx b.nest, .Ex b.nest { color: #0000c0; }
.Bx .nest b { color: #0022f0; }
.Bx .nest b b { color: #0066ee; }
.Ex { color: #005555; }
/* Dynamic enumeration, left of entry */
pre.enum, pre.anum { line-height: 175%; padding: 1px 5px;
  margin: 13px 20px 13px; cursor: pointer; }
pre.anum, span.inum { background-color: #fcccec; }
span.inum, span.onum { padding: 0px 3px 1px; margin: 0 1px;
  cursor: help; }
span.inum { border: dashed 1px #cc00aa; }
span.onum { background-color: inherit; border: solid 1px #ee77cc; }
pre span.onum { background-color: #ee99cc; }
.enum sup, .anum sup, code.eE, sup.eE { color: #990099; }
.enum sup i, .anum sup i, sup.eE i { color: #cc99cc; margin-left: -1px; }
pre.enum span.anum { margin-left: 15px; }
pre.anum sup { visibility: hidden; }
pre.anum sup.anum, pre.anum span.anum { display: none; }
.eT, .eT sup { color: #000099; }
pre code.eT { font-size: 16px; line-height: 100%; }
.eS { color: #dd0000; }
.eD, .eD sup { color: #008000; }
.eC, .eC sup, .eC sub { color: #008080; }
.eB, .eA { background-color: #ffffff; }
.eB { padding: 1px; margin-left: -1px; }
.eA { font-size: 90%; letter-spacing: -1px; padding: 0 2px 1px; }
.eExtra { display: none; }

/* RULE LIST MODULE
   definition list: ul.(sys axiom | syx axiom) <dfn>0.0</dfn>
   example in list: ul.(pre exp) */
ul.large { padding: 1px 15px 1px 30px; }
ul.large li { padding: 2px; }
ul.sys, ul.syx, ul.pre, ol.pre { font: 14px/150% 'Courier New', monospace;
  margin: 17px -12px; }    /* removes #main padding 12px */
ul.sys, ul.syx, ul.pre { list-style: none; }
ul.sys, ul.syx { padding: 1px 18px 2px 41px;
  border-style: dotted; border-width: 2px 0; }
ul.sys { background-color: #cce6f9; border-color: #b3d0d9; }
ul.syx { background-color: #ccf6d0; border-color: #aaccaa;
  padding-left: 21px; }
ul.exp { background-color: #e9e9d9; border: double #d6c9b9;
  border-width: 4px 0; padding: 1px 16px 2px 31px; }
.sys li, .syx li, .pre li { white-space: pre; margin: 5px 0; }
.sys b, .syx b, .pre b { font-weight: normal; }
/* Axioms */
.axiom dfn, .axiom tt, code.axiom, b.axiom sub, 
b.ax sub, span.obsorule {
  font: normal bold 0.9em/100% 'Courier New', monospace;
  color: #009000; letter-spacing: -1px; }
code.axiom { margin-right: 0; }
ul.axiom dfn, ul.axiom tt { margin: 0 7px 0 -7px; }
ul.axiom dfn, b.ax sub,  b.axiom sub { 
  border: solid #33cc33; }
ul.axiom dfn { background-color: #acf0ac; 
  padding: 0 3px 0 2px; border-width: 1px; }
ul.axiom tt { padding: 0 3px; }
ul.axiom dfn.all { border-style: double; border-width: 3px;
  padding: 0 3px 0 2px; margin: 0 4px 0 -9px; }
b.axiom { margin-left: 2px; }
b.ax { margin-left: 0.05em; }
b.x { margin-left: 0.31em; }    /* <b class="ax x"><sub> 2 rules */
  b.xx { margin-left: 0.6em; }    /* <b class="ax xx"><sub> 3 rules */
b.spax { margin-left: 0.14em; } /* pre space for <b class="ax"> */
b.axiom sub, b.ax sub { 
  background-color: #99f999; font-style: italic;
  padding: 0 1px 0 2px; border-width: 1px 0; margin: 0 1px; }
ul.sys dfn.opt, b.opt sub { border-style: dotted; }
ul.syx dfn.opt { background-color: inherit; }
ul.syx dfn.obsorule { border-color: #ccf6d0; }
/* .syx .move { color: #009900; } */
/* rule list for Eaf */
ol.sym { background-color: #f0f0bb; padding: 0 10px 2px 52px;
  border: solid #e9f0ac 3px; margin: 15px 3px; }
.sym li { padding-left: 6px; }
.sym li.now { list-style: lower-roman; }
.sym li.all { list-style: upper-roman; }
.sym li.let { list-style: none; background-color: #ffffff;
  border-right: solid #e9f0ac 10px; margin-right: 40px; }
/* justify spaces */
.m2 { margin-left: 2px; }
i.m0 { margin-left: 0px; }
b.m1, i.m1, sub.set { margin-left: 1px; }
b.m3 { margin-left: 3px; }
b.m4 { margin-left: 4px; } b.m5 { margin-left: 5px; }
b.m6 { margin-left: 6px; } b.m7 { margin-left: 7px; }
.r1 { margin-right: 1px; }
code.r2, b.r2, sub.r2, i.r2 { margin-right: 2px; }
b.r4, i.r4 { margin-right: 4px; }   /* var after .sep */
/* programming */
.algo { color: #006600; }

/* LINK MODULE */
a { text-decoration: underline; }
a:link { color: #0000cc; }
a:visited { color: #990099; }
a:hover, a:active { color: #ff0000; }
h2 a, h2 a.home:hover { text-decoration: none; }
a.wiki:link, a.wiki:visited { text-decoration: none; }
a.wiki:hover, a.wiki:active { text-decoration: underline; }
/* #permalink preceding chapter, .per for a finished chapter */
a.perm, a.per { text-decoration: none; margin-right: 6px; }
h2 a.per { margin-left: -5px; }
a.perm { font: 1.1em/100% Arial, sans-serif; }
a.per { font-size: 90%; }
a.per span { margin-right: 2px; }  /* &sect; sign */
a.self, a.aopted { color: #ffffff; text-decoration: none;
  padding: 0 3px 1px; margin: 0 1px; }
a.self:link, a.self:visited { background-color: #000066; }
a.self:hover { background-color: #cc0000; }
a.self:active { background-color: #990099; }
a.aopted:link, a.aopted:visited { background-color: #007b00; }
a.aopted:hover { background-color: #cc0000; }
a.aopted:active {  background-color: #990099; }
a.fr { float: right; margin: -5px -1px 1px -10px; }
/* a.fr = stamp on top of <hr class="sect" */
a.fr { border: dotted #fcfcfc 1px; }
div.knob a { border: double #fcfcfc 3px; }

/* INDEX MODULE */
ul.index { list-style: disc; background-color: #ffcc99;
  font-weight: bold; color: #F77000; border-style: solid;
  border-width: 5px 1px; border-color: #F77000 #ff9933;
  padding: 4px 0 10px 30px; margin: 15px -13px; }
.index li { line-height: 135%; margin-bottom: 1px; clear: right; }
.index ul { list-style: disc; background-color: #ffffff;
  font-weight: normal; padding: 2px 0 2px 25px; margin: 3px 0 3px; }
.index li.big { list-style: square;
  letter-spacing: 1px; text-transform: uppercase; }
.index li.big li { letter-spacing: 0; text-transform: none; }
.index code, .index em { color: #000000; }
.index .struct { background-color: #e0e0e0; }
.index a { text-decoration: none; margin: 0 8px 0 1px; }
.index a:link { color: #000099; }
.index a:visited {color: #800080; }
.index a:hover { color: #f66000; }
.index a:active { color: #ff0000; }
.index a.sect { float: right; font-size: 90%; line-height: 100%;
  text-decoration: overline; margin: 4px 8px -4px 12px; }
.index a.sect:hover { text-decoration: underline; }

/* TABLE MODULE */
div.table { text-align: center; margin: 25px 0; letter-spacing: 0; }
table { border: solid 2px #ccccff; margin-left: auto; margin-right: auto; }
table, th.t0 { background-color: #e3e3e3; }
th, td { text-align: center; vertical-align: middle;
  border: solid #e3e3e3; border-width: 0 1px 2px; }
th, td.t0 { background-color: #ccccff; }
th { font: 16px/160% Verdana, Courier, monospace;
  padding: 0 5px; border-width: 2px 2px 3px; }
tr#r0 th { font-size: 15px; }
th b { font-weight: bold; }
td b { font-weight: normal; }
td { background-color: #ffffff; font: 14px/125% 'Courier New', monospace;
  padding: 0 5px; }
.t0 { color: #666666; font: bold 10px Verdana, Courier, monospace;
  padding: 0 2px; }
.t1 { color: #000000; }
.t2 { color: #000080; }
.t3 { color: #800000; }
.t4 { color: #007700; }
td.t1 { font-size: 12px; text-align: right; padding-left: 3px; }
td.t2 { text-align: left; border-right: solid 2px #999999; }
td.t3 { font-size: 12px; padding: 0 2px; border-left: solid 1px #999999; }
td.t4 { font-size: 13px; text-align: left; padding-right: 3px; }
tr#r1 td { padding-top: 2px; padding-bottom: 1px; }
td var { color: #ee0000; font-size: 13px; font-style: normal; }
td.t2 var  { padding: 0 1px; }
/* td.odd { border-bottom-color: #f0f0f0; color: #aaaaaa; } */
tr.pass td.t0 { font-size: 14px; line-height: 120%; }
td.full { border-bottom: solid 3px #999999; }    /* full upload */
table i.dot { font-size: 1.1em; }
/* 2nd table styles */
.t5 { color: #777700; }

/*** SCRIPTED MODES MODULE ***/

/* .del .ins  for special display (put pre in div) */
.del { display: none; }
/* body.hard mode */
.hard span.del { display: inline; }
.hard div.del, .hard p.del { display: block; }
.hard li.del { display: list-item; }
/* body.fast mode */
.fast .ins { display: none; }
.fast img.rtop { width: 200px; margin: 4px 0 8px 10px; }

/* in body.edit mode, tagging: (span|div|p|li).(ins|del) */
.edit span.del, .edit div.del, .edit p.del, .edit li.del {
  background-color: #ffdddd; border: solid #ff0000; border-width: 0 5px; }
.edit div.del pre.enum { background-color: #ffe9e9; }
.edit span.ins, .edit div.ins, .edit p.ins, .edit li.ins {
  background-color: #fffbbb; border: solid #ffcc00; border-width: 0 5px; }
.edit span.del, .edit span.ins { padding: 0 3px; margin: 0 1px; }
.edit div.del, .edit li.del, .edit div.ins, .edit li.ins { padding: 0 5px; }
.edit p.del, .edit p.ins { padding: 0 4px; }
.edit div.del, .edit p.del, .edit div.ins, .edit p.ins {
  margin-left: -7px; margin-right: -7px; }
.edit div.ins div.del, .edit div.del p.ins {
  margin-left: 1px; margin-right: 1px; }
  .edit div.del pre, .edit div.ins pre { margin-left: 27px; }
.edit li.del, .edit li.ins { margin-left: -10px; margin-right: -5px; }
.edit .del ul.exp { border: double 4px #ff0000; }
.edit .del ul.sys { border: dotted 3px #ff0000; }
.edit .ins ul.exp { border: double 4px #ffcc00; }
.edit .ins ul.sys { border: dotted 3px #ffcc00; }
.edit .index li.del, .edit .index li.ins { margin: 0 36px 0 0; }

/* .out tags - inpsirational - show only in body.edit mode
   (span|div|p|li).out */
#main .out { color: #770088; }
.out, .hard .out, .fast .out { display: none; }
.edit span.out { display: inline; }
.edit div.out, .edit p.out { display: block; }
.edit li.out { display: list-item; }
.edit .out { background-color: #e3c0ff; }
.edit .del .out { background-color: #e6a9f9; }
.edit span.out, .edit div.out, .edit p.out, .edit pre.out, .edit li.out {
  border: solid #cc00d0; border-width: 0 5px; padding: 0 5px; }
.edit div.out, .edit p.out { margin-left: -5px; margin-right: -5px; }
.edit li.out { margin-left: -10px;  margin-right: -5px; }
.edit li.out, .edit li .out, .edit pre .out { color: #000000; }
.edit .Bx .out { color: #000070; }
/* use class="out nix" to overrule plain .out, tags: (span|div).nix */
.nix code, .nix pre { color: #000000; }
.edit div.nix { border: solid #e3c0ff; border-width: 0 10px;
  padding-left: 7px; padding-right: 7px; }
.fast span.nix { display: none; }
.hard #main div.nix { display: block; background: none; }
.hard #main span.nix { display: inline; }
div.nix pre, div.nix p { margin-top: 10px; margin-bottom: 10px; }
#main .index span.nix { background-color: inherit; border: none; }
.index span.nix a.sect { text-decoration: none; }
.index span.nix a.sect:hover { text-decoration: underline; }
.nix .nest b { color: #0000cc; }
.nix pre span.old { font-size: 90%; }  /* decimals */

/* body.open for dyslectics */
.open { font: 15px/135% Arial, Helvetica, sans-serif; }
.open #main { background-color: #ffffff; width: 640px;
  letter-spacing: 1px; border-color: #cccccc; }
.open h1 { line-height: 36px; }
.open h2 { line-height: 30px; }
.open h2, .open h3 { margin: 24px 0 16px; }
.open p { margin: 15px 0; text-align: justify; }
.open .motto { display: none; }
.open li, .open dt, .open dd { margin-bottom: 6px; }
.open pre { line-height: 175%; letter-spacing: 2px;
  margin-top: 18px; margin-bottom: 18px; }
.open pre, .open code, .open pre b, .open code b { font-weight: bold; }
.open code { margin: 0 2px; }
.open img.rtop { margin-left: 18px; }
.open a { text-decoration: none; }
.open #main a.self, .open #main a.aopted {
  background-color: inherit; padding: 0; margin: 0; }
.open a:link { color: #0000cc; }
.open a:visited { color: #0000cc; }
.open a:hover { background-color: inherit; color: #ff0000;
  text-decoration: underline; }
.open a:active { background-color: inherit; color: #ff0000; }

/* FOOTER */
div.footer { margin: 25px 0; }
.spec, .spec a { display: none; }      /* scripted display */
.spec img { border: 0; }

/* PRINT MODULE */
div#url { line-height: 110%; text-align: right; margin: 1px; }
.print { display: none; }     /* TEST Chrome print to PDFCreator */
@media print {
  body, body * { background: none !important;
    color: #000000 !important; }           /* black and white */
  div#main, ul, li, ol.sym, .del, .ins, .out { border: 0 !important; }
  .intro h1 { margin-top: 25px; }
  div#url { margin-top: 10px; }
  ul.axiom dfn, b.ax sub, .struct,  b.axiom sub { 
    border-color: #ffffff !important; }
  div#main .struct { padding: 0; }
  div#main .sep, div#main .seps {
    border: solid #808080; border-width: 0 1px 1px 0; }
  div#main span.uu { border-bottom: solid 1px #808080; }
  table, th, td { border: solid 1px #808080 !important; }
  td { border-width: 0 0 0 1px !important; }
  hr { width: 250px !important; }
  a, a:link, a:visited { color: #000000 !important;
    text-decoration: none !important; }
  div#main .open a.self { padding: 0; margin: 0; }
  .noprint, img, .fr, a.perm, a.sect, .footer {
    display: none !important; }
  .print { display: block; }
  /* enlarge fonts for readibility in PP epub? */
  code, pre, pre b,
  ul.sys, ul.syx, ul.pre, ol.pre { font-size: 15px }
  div#main b.logic { font-size: 1.1em; }
  .axiom dfn, .axiom tt, code.axiom, b.ax sub, b.axiom sub,
  .sub, b.nest b.sub { font-size: 13px; }
  ul dfn.opt { font-weight: normal; }        /* END PRINT */
}
/* MEDIA EPUB <= doc/plan-epub.css */

/* beatrix.jpg 426x507 + beatrix-icon.jpg 213x253
   pink Queen Beatrix, painting 1984 by Andy Warhol (1928-1987)
   Study for series of prints of 4 Reigning Queens, from photograph.
   Photo courtesy, The Rijksmuseum, leased from Triton Foundation */