774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
|
}
div.forumHier > div > form,
div.forumTime > div > form,
div.forumHierRoot > div > form {
margin: 0.5em 0;
}
.forum-post-collapser {
font-size: 0.8em;
margin: 0.2em 0 0 0;
border-width: 1px;
border-style: solid;
border-radius: 0.25em;
opacity: 0.8;
cursor: pointer;
.forum-post-collapser > span {
margin: 0 1em 0 1em;
vertical-align: middle;
}
.forum-post-collapser.expanded > span::before {
content: "⇡⇡⇡" /*reminder: FF/Chrome cannot agree on alignment of ⮝*/;
}
.forum-post-collapser:not(.expanded) > span::before {
content: "⇣⇣⇣";
}
div.forumPostBody{
max-height: 50em;
overflow: auto;
}
div.forumPostBody.with-expander {
display: flex;
flex-direction: row;
overflow: auto;
}
div.forumPostBody.with-expander > *:first-child {
/* Main content DIV */
overflow: auto;
}
div.forumPostBody.with-expander.expanded > *:first-child {
margin-bottom: 0.5em /* try to suppress scroll bar */;
}
div.forumPostBody.with-expander > *:nth-child(2) {
/* "Tap zone" for expansion of the post, sits to the right of the
post's content. */
min-width: 1.25em;
max-width: 1.25em;
/*for testing only:*//*background: magenta;*/
margin: 0 0 0 0.2em /* leave a gap between this and the neighboring scrollbar */;
background-color: #777;
opacity: 0.3;
}
div.forumPostBody.expanded {
max-height: initial;
}
div.forumPostBody.shrunken {
/* When an expandable post is un-expanded, it is shrunkend down
to this size instead of its original size. */
|
>
>
<
>
>
>
>
>
>
>
>
<
<
<
<
<
|
|
|
|
|
>
>
>
|
>
|
>
<
|
>
>
|
>
|
>
>
>
>
>
>
>
>
>
|
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
|
}
div.forumHier > div > form,
div.forumTime > div > form,
div.forumHierRoot > div > form {
margin: 0.5em 0;
}
.forum-post-collapser {
/* Common style for the bottom-of-post and right-of-post
expand/collapse widgets. */
font-size: 0.8em;
padding: 0;
border: 1px solid rgba(0, 0, 0, 0.2);
border-radius: 0 0 0.5em 0.5em;
background-color: rgba(0, 0, 0, 0.05);
opacity: 0.8;
cursor: pointer;
}
.forum-post-collapser.bottom {
margin: 0 0 0.4em 0;
height: 1.75em;
line-height: 1.75em;
/* ^^^ Those sizes are finely tuned for the current selection of
arrow characters. If those change, these should, too. Remember that
FF/Chrome simply do not agree on alignment with most values :/. */
display: flex;
flex-direction: row;
justify-content: space-between;
}
.forum-post-collapser.bottom > span {
margin: 0 1em 0 1em;
vertical-align: middle;
}
.forum-post-collapser.bottom > span::before {
content: "⇣⇣⇣";
}
.forum-post-collapser.bottom.expanded > span::before {
content: "⇡⇡⇡" /*reminder: FF/Chrome cannot agree on alignment of ⮝*/;
}
div.forumPostBody{
max-height: 50em;
overflow: auto;
}
div.forumPostBody.with-expander {
display: flex;
flex-direction: row;
overflow: auto;
}
div.forumPostBody.with-expander:not(.expanded) > :first-child {
overflow-y: hidden;
}
div.forumPostBody.with-expander > *:first-child {
/* Main content DIV/PRE */
overflow: auto;
flex: 10 1 auto;
}
div.forumPostBody.with-expander.expanded > *:first-child {
margin-bottom: 0.5em /* try to suppress scroll bar */;
}
div.forumPostBody.with-expander .forum-post-collapser.right {
/* "Tap zone" for expansion of the post, sits to the right of the
post's content. */
flex: 1 10 auto;
min-width: 1.25em;
max-width: 1.25em;
margin: 0 0 0 0.2em;
overflow: hidden;
display: flex;
flex-direction: column;
justify-content: space-around;
align-items: center;
border-radius: 0.1em;
cursor: pointer;
border-bottom: 0;
border-radius: 0 0.5em 0 0;
}
div.forumPostBody.with-expander .forum-post-collapser.right > span:before {
content: "⇣";
}
div.forumPostBody.with-expander.expanded .forum-post-collapser.right > span:before {
content: "⇡";
}
div.forumPostBody.expanded {
max-height: initial;
}
div.forumPostBody.shrunken {
/* When an expandable post is un-expanded, it is shrunkend down
to this size instead of its original size. */
|
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
|
font-weight: initial;
margin: 0 0.25em 0 0.25em;
vertical-align: middle;
}
table.numbered-lines td {
font-family: monospace;
line-height: 2.8ex;
white-space: pre;
margin: 0;
white-space: nowrap;
vertical-align: top;
padding: 1em 0 0 0 /*prevents slight overlap at top */;
}
table.numbered-lines td:nth-of-type(1) > span {
|
|
|
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
|
font-weight: initial;
margin: 0 0.25em 0 0.25em;
vertical-align: middle;
}
table.numbered-lines td {
font-family: monospace;
line-height: 1.35;
white-space: pre;
margin: 0;
white-space: nowrap;
vertical-align: top;
padding: 1em 0 0 0 /*prevents slight overlap at top */;
}
table.numbered-lines td:nth-of-type(1) > span {
|