menu.css revision bc8e50fa28ac602c8858aa837076b700e4165eae 
1/*
2	Consulted:
3	http://www.w3.org/TR/CSS1 &
4	http://www.w3.org/TR/CSS21/
5*/
6
7/***************/
8/* page layout */
9/***************/
10
11/***IE***/
12#menu {
13	float:left;
14}
15#content {
16	float:left;
17	margin-left:1ex;
18}
19/***W3C***/
20[id=menu] {
21	position:fixed;
22}
23[id=content] {
24	padding-left:16ex;	/* *****  EDIT THIS VALUE IF CONTENT OVERLAPS MENU ***** */
25}
26
27/****************/
28/* menu display */
29/****************/
30label, #menu a {
31	display:block;
32	padding:.05em .3em;
33}
34#menu * {
35	display:block;
36}
37#quick_links {
38	padding-top:1em;
39}
40a {
41	margin:.05em;
42}
43
44/**************/
45/* menu style */
46/**************/
47label {
48	font-size:.8em;
49}
50#menu a {
51	background-color:rgb(244,250,255);
52}
53#menu label {
54	background-color:rgb(244,255,250);
55}
56#menu {
57	padding: 0 .2em .2em 0;
58	border-color: rgb(240,240,240);
59	border-width: 0 .1em 0 0;
60	border-style: solid;
61}
62#menu a:visited {
63	color:rgb(130,50,100);
64}