Deleted Added
sdiff udiff text old ( 104349 ) new ( 178848 )
full compact
style.css (104349) style.css (178848)
1body {
1body {
2 background-color: white
2 background-color: white;
3 border: 0px;
4 margin: 0px;
5 padding: 0px;
3}
4
6}
7
8.corner {
9 width: 200px;
10 height: 80px;
11 text-align: center;
12}
13
14.banner {
15 background-color: rgb(110,139,61);
16 color: rgb(255,236,176);
17 padding-left: 2em;
18}
19
20.banner h1 {
21 font-size: 200%;
22}
23
24.content {
25 padding: 0em 2em 1em 2em;
26}
27
28.releaseno {
29 background-color: rgb(110,139,61);
30 color: rgb(255,236,176);
31 padding-bottom: 0.3em;
32 padding-top: 0.5em;
33 text-align: center;
34 font-weight: bold;
35}
36
5.noborder {
6 border-width: 0px;
7}
8
9.eg {
10 padding-left: 1em;
11 padding-top: .5em;
12 padding-bottom: .5em;
13 border: solid thin;
14 margin: 1em 0;
15 background-color: tan;
16 margin-left: 2em;
17 margin-right: 10%;
18}
19
37.noborder {
38 border-width: 0px;
39}
40
41.eg {
42 padding-left: 1em;
43 padding-top: .5em;
44 padding-bottom: .5em;
45 border: solid thin;
46 margin: 1em 0;
47 background-color: tan;
48 margin-left: 2em;
49 margin-right: 10%;
50}
51
52.pseudocode {
53 padding-left: 1em;
54 padding-top: .5em;
55 padding-bottom: .5em;
56 border: solid thin;
57 margin: 1em 0;
58 background-color: rgb(250,220,180);
59 margin-left: 2em;
60 margin-right: 10%;
61}
62
20.handler {
21 width: 100%;
22 border-top-width: thin;
23 margin-bottom: 1em;
24}
25
26.handler p {
27 margin-left: 2em;

--- 16 unchanged lines hidden (view full) ---

44.fcndef {
45 margin-left: 2em;
46 margin-bottom: 2em;
47}
48
49dd {
50 margin-bottom: 2em;
51}
63.handler {
64 width: 100%;
65 border-top-width: thin;
66 margin-bottom: 1em;
67}
68
69.handler p {
70 margin-left: 2em;

--- 16 unchanged lines hidden (view full) ---

87.fcndef {
88 margin-left: 2em;
89 margin-bottom: 2em;
90}
91
92dd {
93 margin-bottom: 2em;
94}
95
96.cpp-symbols dt {
97 font-family: monospace;
98}
99.cpp-symbols dd {
100 margin-bottom: 1em;
101}