76 lines
1.1 KiB
CSS
76 lines
1.1 KiB
CSS
/* standard EDoc style sheet */
|
|
body {
|
|
font-family: Verdana, Arial, Helvetica, sans-serif;
|
|
margin-left: .25in;
|
|
margin-right: .2in;
|
|
margin-top: 0.2in;
|
|
margin-bottom: 0.2in;
|
|
color: #696969;
|
|
background-color: #ffffff;
|
|
}
|
|
a:link{
|
|
color: #000000;
|
|
}
|
|
a:visited{
|
|
color: #000000;
|
|
}
|
|
a:hover{
|
|
color: #d8613c;
|
|
}
|
|
h1,h2 {
|
|
margin-left: -0.2in;
|
|
}
|
|
div.navbar {
|
|
background-color: #000000;
|
|
padding: 0.2em;
|
|
}
|
|
h2.indextitle {
|
|
padding: 0.4em;
|
|
color: #dfdfdf;
|
|
background-color: #000000;
|
|
}
|
|
div.navbar a:link {
|
|
color: #dfdfdf;
|
|
}
|
|
div.navbar a:visited {
|
|
color: #dfdfdf;
|
|
}
|
|
div.navbar a:hover {
|
|
color: #d8613c;
|
|
}
|
|
h3.function,h3.typedecl {
|
|
background-color: #000000;
|
|
color: #dfdfdf;
|
|
padding-left: 1em;
|
|
}
|
|
div.spec {
|
|
margin-left: 2em;
|
|
background-color: #eeeeee;
|
|
}
|
|
a.module {
|
|
text-decoration:none
|
|
}
|
|
a.module:hover {
|
|
background-color: #eeeeee;
|
|
}
|
|
ul.definitions {
|
|
list-style-type: none;
|
|
}
|
|
ul.index {
|
|
list-style-type: none;
|
|
background-color: #eeeeee;
|
|
}
|
|
|
|
/*
|
|
* Minor style tweaks
|
|
*/
|
|
ul {
|
|
list-style-type: square;
|
|
}
|
|
table {
|
|
border-collapse: collapse;
|
|
}
|
|
td {
|
|
padding: 3
|
|
}
|