Mercurial > forge

annotate www/octave-forge.css @ 2685:bfec1369b39e octave-forge

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Swapped the two green colors
author hauberg
date Sun, 15 Oct 2006 08:00:39 +0000
parents 3f938458f716
children 198f032f1c98
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
1 /* Regular elements */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
2 body {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
3 background: white;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
4 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
5 font-family: sans-serif;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
6 font-weight: normal;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
7 font-size: medium;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
8 min-width: 500px;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
9 max-width: 950px;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
10 margin-left: 3%;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
11 margin-right: 15%;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
12 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
13
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
14 a:link {
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
15 //color: #3465a4;
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
16 color: #4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
17 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
18
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
19 a:visited {
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
20 //color: #204a87;
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
21 color: #73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
22 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
23
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
24
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
25 /* the navigation choices at the bottom of the page. */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
26
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
27 div#nav {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
28 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
29 float: left;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
30 font-family: sans-serif;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
31 font-size: 0.8em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
32 margin: 1em 0 0 1em;
2664
eedc84f2b623 Remove jitter in sidebar on mouse click
adb014
parents: 2593
diff changeset
33 padding: 1px;
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
34 position: fixed;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
35 text-align: left;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
36 width: 10em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
37 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
38
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
39 div#nav a {
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
40 //background-color: #729fcf;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
41 background-color: #73d216; //#4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
42 border: 1px solid;
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
43 //border-color: #3465a4;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
44 border-color: #4e9a06; //#73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
45 display: block;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
46 padding: 0.2em 0.5em 0.2em 0.5em ;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
47 text-decoration: none;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
48 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
49 //font-weight: bold;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
50 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
51
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
52 div#nav a:hover {
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
53 //background-color: #204a87;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
54 background-color: #4e9a06; //#73d216;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
55 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
56
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
57 /* the navigation choices for function reference. */
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
58
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
59 div#nav2 {
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
60 float: right;
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
61 //background-color: #729fcf;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
62 background-color: #73d216; //#4e9a06;
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
63 //border: 1px solid;
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
64 padding: 3px;
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
65
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
66 /*color: black;
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
67 font-family: sans-serif;
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
68 font-size: 0.8em;
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
69 margin: 1em 0 0 1em;
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
70 padding: 0;
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
71 position: fixed;*/
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
72 //text-align: right;
2503
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
73 }
257972034c8c slightly different try at function reference navigation
adb014
parents: 2492
diff changeset
74
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
75 /* the page content */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
76
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
77 div#alphabetical {
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
78 display: block;
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
79 margin-left: 11em;
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
80 margin-top: 1em;
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
81 text-align: center;
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
82 }
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
83
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
84 div#content {
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
85 display: block;
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
86 margin-left: 11em;
2511
b0b8a45dc50e Added a new navigation bar for the function reference
hauberg
parents: 2503
diff changeset
87 margin-top: 3em;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
88 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
89
2492
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
90 div#sf_logo {
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
91 text-align: right;
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
92 position:relative;
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
93 top: 3em;
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
94 }
899362fd8d2b Added SF logo to the bottom of all pages.
hauberg
parents: 2486
diff changeset
95
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
96 div.section {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
97 // display: block;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
98 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
99
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
100 /* the title bar */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
101
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
102 div#title {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
103 width: 100%;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
104 clear: both;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
105 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
106
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
107 div#title h1 {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
108 background-color: #ffffff;
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
109 //border-bottom: 4px solid #729fcf;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
110 border-bottom: 4px solid #73d216; //#4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
111 font-size: xx-large;
2681
5aad991269cf Changed the website to a green one.
hauberg
parents: 2664
diff changeset
112 //color: #729fcf;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
113 color: #73d216; //#4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
114 padding: 0;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
115 margin: 0;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
116 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
117
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
118 /* The blue title bar on non-main pages */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
119
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
120 /*
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
121 .header {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
122 color: #ffffff;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
123 background-color: #10a0ff;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
124 font-family: arial,sans-serif;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
125 padding: 0;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
126 font-size: medium;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
127 font-weight: bold;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
128 border: 3px solid #10a0ff;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
129 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
130 */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
131
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
132 /* Changes for Octave Wiki */
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
133
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
134 h1 {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
135 background-color: #3465a4;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
136 color: #ffffff;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
137 font-size: xx-large;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
138 padding: 2em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
139 margin: 8em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
140 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
141
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
142 h3.question {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
143 font-size: small;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
144 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
145
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
146 h4,h5,h6 {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
147 color: #3465a4;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
148 font-size: large;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
149 padding: 2px;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
150 margin-top: 5px;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
151 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
152
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
153 /*
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
154 code {
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
155 padding: 1px;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
156 margin-left: 1em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
157 border: 1px solid;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
158 border-color: #babdb6;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
159 background-color: #d3d7cf;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
160 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
161 }
2486
34d81b0e0600 Removed packages.in because it gets generated
hauberg
parents: 2449
diff changeset
162 */
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
163
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
164 table#main_package_table {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
165 margin-top: 1em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
166 background-color: #d3d7cf;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
167 border: 1px solid;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
168 border-color: #babdb6;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
169 margin: 1em 0 0 0;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
170 padding: 0.2em 0.5em 0.2em 0.2em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
171 text-decoration: none;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
172 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
173
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
174 div#description_box {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
175 padding-top: 1em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
176 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
177
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
178 div.package {
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
179 margin-top: 0.2em;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
180 background-color: #d3d7cf;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
181 border: 1px solid;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
182 border-color: #babdb6;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
183 padding: 0.2em 0.2em 0em 0.2em;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
184 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
185 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
186
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
187 a.package_link {
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
188 color: black;
2685
bfec1369b39e Swapped the two green colors
hauberg
parents: 2682
diff changeset
189 font-weight: bold;#73d216; //#4e9a06;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
190 font-size: 80%;
2682
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
191 text-decoration: none;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
192 }
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
193
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
194 a.package_head_link {
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
195 color: black;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
196 text-decoration: none;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
197 }
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
198
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
199 table.package {
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
200 table-layout: fixed;
3f938458f716 Package listing now features javascript
hauberg
parents: 2681
diff changeset
201 width: 100%;
2449
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
202 }
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
203
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
204 p.package_link a {
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
205 color: black;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
206 text-decoration: none;
0160ef60c4c8 Added more web pages
hauberg
parents:
diff changeset
207 }
2593
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
208
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
209 div.see_also {
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
210 color: black;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
211 background-color: #d3d7cf;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
212 font-family: sans-serif;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
213 font-weight: bold;
e61209c0f871 Added clickable See also links in the function reference
hauberg
parents: 2511
diff changeset
214 }