xref: /minix/external/mit/lua/dist/doc/lua.css (revision 0a6a1f1d)
1html {
2	background-color: #F8F8F8 ;
3}
4
5body {
6	background-color: #FFFFFF ;
7	color: #000000 ;
8	font-family: Helvetica, Arial, sans-serif ;
9	text-align: justify ;
10	line-height: 1.25 ;
11	margin: 16px auto ;
12	padding: 32px ;
13	border: solid #a0a0a0 1px ;
14	border-radius: 20px ;
15	max-width: 70em ;
16	width: 90% ;
17}
18
19h1, h2, h3, h4 {
20	color: #000080 ;
21	font-family: Verdana, Geneva, sans-serif ;
22	font-weight: normal ;
23	font-style: normal ;
24	text-align: left ;
25}
26
27h1 {
28	font-size: 28pt ;
29}
30
31h1 img {
32	vertical-align: text-bottom ;
33}
34
35h2:before {
36	content: "\2756" ;
37	padding-right: 0.5em ;
38}
39
40a {
41	text-decoration: none ;
42}
43
44a:link {
45	color: #000080 ;
46}
47
48a:link:hover, a:visited:hover {
49	background-color: #D0D0FF ;
50	color: #000080 ;
51	border-radius: 4px ;
52}
53
54a:link:active, a:visited:active {
55	color: #FF0000 ;
56}
57
58div.menubar {
59	padding-bottom: 0.5em ;
60}
61
62p.menubar {
63	margin-left: 2.5em ;
64}
65
66.menubar a:hover  {
67	margin: -3px -3px -3px -3px ;
68	padding: 3px  3px  3px  3px ;
69	border-radius: 4px ;
70}
71
72:target {
73	background-color: #F0F0F0 ;
74	margin: -8px ;
75	padding: 8px ;
76	border-radius: 8px ;
77	outline: none ;
78}
79
80hr {
81	display: none ;
82}
83
84table hr {
85	background-color: #a0a0a0 ;
86	color: #a0a0a0 ;
87	border: 0 ;
88	height: 1px ;
89	display: block ;
90}
91
92.footer {
93	color: gray ;
94	font-size: x-small ;
95}
96
97input[type=text] {
98	border: solid #a0a0a0 2px ;
99	border-radius: 2em ;
100	background-image: url('images/search.png') ;
101	background-repeat: no-repeat ;
102	background-position: 4px center ;
103	padding-left: 20px ;
104	height: 2em ;
105}
106
107pre.session {
108	background-color: #F8F8F8 ;
109	padding: 1em ;
110	border-radius: 8px ;
111}
112
113td.gutter {
114	width: 4% ;
115}
116
117table.columns {
118	border: none ;
119	border-spacing: 0 ;
120	border-collapse: collapse ;
121}
122
123table.columns td {
124	vertical-align: top ;
125	padding: 0 ;
126	padding-bottom: 1em ;
127	text-align: justify ;
128	line-height: 1.25 ;
129}
130
131p.logos a:link:hover, p.logos a:visited:hover {
132	background-color: inherit ;
133}
134