/*
 *
 */

/*line{stroke-width:.01;}//fill:none;*/
p,li{line-height:136%;}
td sup,td sub,li sup,li sub,p sup,p sub{vertical-align:baseline;position:relative;top:-0.4em;}td sub,li sub,p sub{top:0.4em;}/*https://css-tricks.com/snippets/css/prevent-superscripts-and-subscripts-from-affecting-line-height/*/

line.é{stroke:#3A77B4;}
line.e{stroke:#4BB2C5;}
line.o{stroke:#EAA228;}
line.œ{stroke:#c00;}
line{stroke-linecap:round;}

td.r,td.a,td.g,td.eg{font-weight:bold;}
td.r{color:red;}
td.a{color:#fa0;}
td.g{color:#0c0;}

span.index{padding-right:.667em;color:#777;}
span.stage{font-family:serif;font-weight:600;color:#111;font-style:italic;}

/*span.bubble,a.bubble{padding:0 .16em;border-radius:.2em;}*/
span.origin-constraint{color:black;background-color:rgba(160,255,160,.5);padding:0 .15em;border-radius:.12em;}

pre{max-height:33vmin;}
sup,sub{font-size:.66em;}
span.⇟{background-color:rgba(238,153,255,.75);border-radius:.12em;padding:0 .15em;}
span.¿{color:#555;}
span.⊗{color:#F89222;}
span.⊕{color:#BBCC33;}
span.o{color:#EAA228;}
span.e{color:#4BB2C5;}
span.é{color:#3A77B4;}/*58,119,180*//*or:#328A9A;}*/
span.œ{color:#c00;}/*192,0,0*/
span.f{color:#090;}
span.d{color:#1c3;}
span.é,span.o,span.e,span.œ,span.⊗,span.⊕,span.f,span.d,span.¿{font-weight:600;}
td.é{background-color:#3A77B4;}
td.e{background-color:#4BB2C5;}
td.oCo{background-color:#EAA228;}
td.oCœ{background-color:#EAA228;display:none;}
td.œCo{background-color:#4BB2C5;color:black;}
td.œCœ{background-color:#c00;color:white;}
td.terminus{background-color:#336;color:white;font-weight:600;}
th.showhideCo{}
th.showhideCœ{display:none;}
span.g,p.g{color:#888;}
span.lg{color:#ccc;}
span.dg,p.dg,p.nb,span.nb{color:#444;}
span.b{color:black;}
span.p{color:purple;}
p.nb,blockquote.nb{font-size:.8em;}

ul#ExpandableTreeℕsets li{margin-left:0;padding-left:0;font-weight:600;white-space:nowrap;word-break:keep-all;}
ul#ExpandableTreeℕsets,ul#ExpandableTreeℕsets ul{padding-left:1.5em;list-style-type:disc;}


table{font-size:.75em;}

table#plus-one td{text-align:right;font-size:1.25em;}
table#round-powers-of-two{font-size:.9em;}
table#Pnk≥n0{font-size:1em;}
/*table#Pnk≥n0 td:first-child{text-align:right;}*/
table#Pnk≥n0 td{text-align:center;}
table#Pnk≥n0 td:last-child{text-align:left;}

table#Collatz-trajectories{font-size:.5em;}
table#Collatz-trajectories td,table#Collatz-trajectories th{text-align:right;}
table#Collatz-trajectories td.stepcount{text-align:left;white-space:no-wrap;}

table#Collatz-trajectories-coherent{font-size:.5em;}
table#Collatz-trajectories-coherent tr td,table#Collatz-trajectories-coherent tr th{text-align:right;}

/*table#Collatz-Convergence{font-size:.75em;}*/
table#Collatz-Convergence tr td{vertical-align:middle;text-align:right;}
table#Collatz-Convergence tr td:nth-child(1){text-align:left;}
table#Collatz-Convergence tr td:last-child{vertical-align:top;}
/*.colour-bubble{padding:0 .16em;border-radius:.2em;white-space:nowrap;}
.red-pastel{background-color:#fcc;}
.orange-pastel{background-color:#eec;}*/

/*table#av_Collatz_trajectory{font-size:.75em;}*/
table#av_Collatz_trajectory tr td{text-align:right;}

/*table#max_Collatz_peak{font-size:.75em;}*/
table#max_Collatz_peak tr td{text-align:right;}

table#Collatz-sets{font-size:.925em;}
table#Collatz-sets tr td{vertical-align:middle;}
table#Collatz-sets tr.step{border-top:1px solid #aaa;}
table#Collatz-sets tr td:nth-child(1){text-align:right;}
table#Collatz-sets tr td:nth-child(2){font-weight:700;}
table#Collatz-sets tr td:nth-child(3){text-align:center;}
table#Collatz-sets tr td:nth-child(4){text-align:left;}
table#Collatz-sets tr td:nth-child(5){text-align:left;}
table#Collatz-sets tr td:nth-child(6){text-align:center;}
table#Collatz-sets tr td:nth-child(7){text-align:left;padding-left:.6em;}

table#Collatz-sets-ordered-by-origin-constraint-offset{font-size:.925em;}
table#Collatz-sets-ordered-by-origin-constraint-offset tr td.OCd{text-align:right;}

table#Collatz-forward-trajectories-by-C-aggregated{font-size:1em;}
table#Collatz-forward-trajectories-by-C-aggregated tr td{text-align:center;}
table#Collatz-forward-trajectories-by-C-aggregated tr td:nth-child(1){text-align:right;}

table#agg-enum-calc-matrix th{border-bottom:1px solid #aaa;}
table#agg-enum-calc-matrix tbody tr:last-child th{border-bottom:1px solid black;}
table#agg-enum-calc-matrix td{text-align:right;}
table#agg-enum-calc-matrix td.spacer{text-align:center;font-color:#333;font-weight:600;}

span.éé{color:#3A77B4;}
span.éœ{color:#724A6F;}
span.ώ{color:#942D45;}
span.œœ{color:#C00;}
span.ééé{color:#3A77B4;}
span.ééœ{color:#516497;}
span.éœé{color:#65547F;}
span.霜{color:#7D4162;}
span.œéé{color:#893652;}
span.œéœ{color:#A12335;}
span.œœé{color:#B5131D;}
span.œœœ{color:#C00;}
span.éééé{color:#3A77B4;}
span.éééœ{color:#456EA7;}
span.ééœé{color:#4E669B;}
span.é霜{color:#595E8E;}
span.éœéé{color:#615784;}
span.éœéœ{color:#6C4E77;}
span.霜é{color:#76466A;}
span.霜œ{color:#803E5D;}
span.œééé{color:#863957;}
span.œééœ{color:#90314A;}
span.ώώ{color:#9A293D;}
span.œéœœ{color:#A52030;}
span.œœéé{color:#AD1926;}
span.œœéœ{color:#B81119;}
span.œœœé{color:#C1090D;}
span.œœœœ{color:#C00;}
span.ééééé{color:#3A77B4;}
span.ééééœ{color:#3F73AE;}
span.éééœé{color:#446FA8;}
span.éé霜{color:#496BA2;}
span.ééœéé{color:#4D679C;}
span.ééœéœ{color:#526396;}
span.é霜é{color:#575F90;}
span.é霜œ{color:#5C5B8A;}
span.éœééé{color:#605885;}
span.éœééœ{color:#65547F;}
span.éœéœé{color:#6A5079;}
span.éœéœœ{color:#6F4C73;}
span.霜éé{color:#73496E;}
span.霜éœ{color:#784468;}
span.霜œé{color:#7D4162;}
span.霜œœ{color:#823D5C;}
span.œéééé{color:#843A58;}
span.œéééœ{color:#893652;}
span.œééœé{color:#8E334C;}
span.œé霜{color:#932E46;}
span.œéœéé{color:#972B41;}
span.œéœéœ{color:#9C273B;}
span.œéœœé{color:#A12335;}
span.œéœœœ{color:#A61F2F;}
span.œœééé{color:#AA1C2A;}
span.œœééœ{color:#AF1824;}
span.œœéœé{color:#B4141E;}
span.œœéœœ{color:#B91018;}
span.œœœéé{color:#BD0C12;}
span.œœœéœ{color:#C2080C;}
span.œœœœé{color:#C70406;}
span.œœœœœ{color:#C00;}
span.éééééé{color:#3A77B4;}
span.éééééœ{color:#3C75B1;}
span.ééééœé{color:#3F73AE;}
span.ééé霜{color:#4171AB;}
span.éééœéé{color:#436FA8;}
span.éééœéœ{color:#466DA5;}
span.éé霜é{color:#486BA3;}
span.éé霜œ{color:#4B69A0;}
span.ééœééé{color:#4D689D;}
span.ééœééœ{color:#4F669A;}
span.ééœéœé{color:#516497;}
span.ééœéœœ{color:#546294;}
span.é霜éé{color:#566091;}
span.é霜éœ{color:#595E8E;}
span.é霜œé{color:#5B5C8B;}
span.é霜œœ{color:#5D5A88;}
span.éœéééé{color:#5F5986;}
span.éœéééœ{color:#625783;}
span.éœééœé{color:#645580;}
span.éœé霜{color:#66537D;}
span.éœéœéé{color:#69517B;}
span.éœéœéœ{color:#6B4F78;}
span.éœéœœé{color:#6D4D75;}
span.éœéœœœ{color:#704B72;}
span.霜ééé{color:#724A6F;}
span.霜ééœ{color:#74486C;}
span.霜éœé{color:#774669;}
span.霜霜{color:#794466;}
span.霜œéé{color:#7B4264;}
span.霜œéœ{color:#7E4061;}
span.霜œœé{color:#803E5E;}
span.霜œœœ{color:#823C5B;}
span.œééééé{color:#843B59;}
span.œééééœ{color:#863956;}
span.œéééœé{color:#883753;}
span.œéé霜{color:#8B3550;}
span.œééœéé{color:#8D334E;}
span.œééœéœ{color:#8F314B;}
span.œé霜é{color:#922F48;}
span.œé霜œ{color:#942D45;}
span.œéœééé{color:#962C42;}
span.œéœééœ{color:#992A3F;}
span.ώώώ{color:#9B283C;}
span.œéœéœœ{color:#9D2639;}
span.œéœœéé{color:#A02437;}
span.œéœœéœ{color:#A22234;}
span.œéœœœé{color:#A42031;}
span.œéœœœœ{color:#A71E2E;}
span.œœéééé{color:#A91D2C;}
span.œœéééœ{color:#AB1B29;}
span.œœééœé{color:#AD1926;}
span.œœé霜{color:#B01723;}
span.œœéœéé{color:#B21520;}
span.œœéœéœ{color:#B5131D;}
span.œœéœœé{color:#B7111A;}
span.œœéœœœ{color:#B90F17;}
span.œœœééé{color:#BB0E14;}
span.œœœééœ{color:#BE0C11;}
span.œœœéœé{color:#C00A0F;}
span.œœœéœœ{color:#C3080C;}
span.œœœœéé{color:#C50609;}
span.œœœœéœ{color:#C70406;}
span.œœœœœé{color:#CA0203;}
span.œœœœœœ{color:#C00;}