@@ -12,144 +12,10 @@ a:hover {
1212color : # CA7900 ;
1313}
1414
15- table .highlighttable {
16- margin-left : 0.5em ;
17- }
18-
19- table .highlighttable td {
20- padding : 0 0.5em 0 0.5em ;
21- }
22-
2315.simple li > p {
2416margin : 0 ;
2517}
2618
27- div .responsive_screenshots {
28- /* Horizontally centered */
29- display : block;
30- margin : auto;
31-
32- /* Do not go beyond 1:1 scale (and ensure a 1x4 tight layout) */
33- max-width : 640px ;/* at most 4 x 1:1 subfig width */
34- max-height : 120px ;/* at most 1 x 1:1 subfig height */
35- }
36-
37- /* To avoid subfigure parts outside of the responsive_screenshots */
38- /* element (see <https://stackoverflow.com/q/2062258/>) */
39- span .clear_screenshots {clear : left;display : block; }
40-
41- div .responsive_subfig {
42- float : left;
43- width : 25% ;/* we want 4 subfigs in a row */
44-
45- /* Include content, padding and border in width. This should */
46- /* avoid having to use tricks like "width: 24.9999%" */
47- box-sizing : border-box;
48- }
49-
50- div .responsive_subfig img {
51- /* Horizontally centered */
52- display : block;
53- margin : auto;
54-
55- /* Possible downscaling */
56- max-width : 162px ;/* at most 1 x 1:1 subfig width */
57- max-height : 139px ;/* at most 1 x 1:1 subfig height */
58-
59- width : 100% ;
60- }
61-
62- @media only screenand (max-width : 930px ){
63- /* The value of 1000px was handcrafted to provide a more or less */
64- /* smooth transition between the 1x4 and the 2x2 layouts. It is */
65- /* NB: it is slightly below 1024px: so one should still have a */
66- /* row in a 1024x768 window */
67-
68- div .responsive_screenshots {
69- /* Do not go beyond 1:1 scale (and ensure a 2x2 tight layout) */
70- max-width : 324px ;/* at most 2 x 1:1 subfig width */
71- max-height : 278px ;/* at most 2 x 1:1 subfig height */
72- }
73-
74- div .responsive_subfig {
75- width : 50% ;/* we want 2 subfigs in a row */
76- }
77- }
78-
79- /* bullet boxes on main page */
80- div .bullet-box-container {
81- display : flex;
82- flex-wrap : wrap;
83- margin : 1em 0 ;
84- }
85-
86- div .bullet-box {
87- flex-grow : 1 ;
88- width : 28% ;
89- margin : 0.4em ;
90- padding : 0 1em ;
91- background : # eff9ff ;
92- }
93-
94- div .bullet-box p : first-of-type {
95- font-size : 1.4em ;
96- text-align : center;
97- }
98-
99- div .bullet-box ul {
100- padding-left : 1.2em ;
101- }
102-
103- div .bullet-box li {
104- padding-left : 0.3em ;
105- margin-bottom : 0.3em ;
106- }
107-
108- @media only screenand (max-width : 930px ){
109- div .bullet-box {
110- flex : 0 0 90% ;
111- }
112- }
113-
114- /* community items on main page */
115- div .box {
116- display : flex;
117- flex-flow : row wrap;
118- }
119-
120- div .box-item {
121- flex : 0 0 45% ;
122- padding : 4px ;
123- margin : 8px 12px ;
124- }
125-
126- div .box-item img {
127- float : left;
128- width : 30px ;
129- height : 30px ;
130- fill : # 888 ;
131-
132- }
133- div .box-item p {
134- margin : 0 0 0 50px ;
135- }
136-
137- div .box-item ul {
138- margin : 0 0 0 50px ;
139- padding-left : 20px ;
140- }
141-
142- hr .box-sep {
143- margin : 1em 2em ;
144- }
145-
146- @media only screenand (max-width : 930px ){
147- div .box-item {
148- flex : 0 0 90% ;
149- }
150- }
151-
152-
15319/* multi column TOC */
15420.contents ul {
15521list-style-type : none;