blob: 9e74fbe4c7023b71e31f6fa40e6b1249f8380426 [file] [log] [blame]
/*
General colour scheme:
#333 Grey for copy text
Links: #336699;
Links visited state: #4488bb;
Other Link states: #07488A;
#666 text grey
#ddd grey
#BBCCD9 blue grey
#4488bb lighter blue
#336699 dk blue
*/
/*
that space that you wanted to get rid of is actually space further up here;
html, body {
margin: 0;
padding: 0;
}
*/
/* General Styles */
html, body {
background-color: #fcfcfc;
font-family: arial, sans-serif;
font-size: 100%;
color: #333;
}
h1, h2, h3, h4, h5, h5 {
/*
color: #005689;
font-family: georgia, serif;
*/
color: #2d7c0b;
font-family: arial, sans-serif;
margin-top: 25px;
}
h1 {
/*
font-size: 18px;
*/
}
h2 {
/*
font-size: 16px;
*/
}
p {
margin-bottom: 0.5em;
}
a {
color: #336699;
text-decoration: none;
}
a:visited {
color: #4488bb;
}
a:hover, a:focus, a:active {
color: #07488A;
text-decoration: none;
}
/* Preamble */
/* End of Interfaces */
a.func {
color: red;
text-decoration: none;
}
a.file {
color: red;
text-decoration: none;
}
pre.code {
background-color: #f4f0f4;
// font-family: monospace, courier;
font-size: 110%;
margin-left: 0px;
margin-right: 60px;
padding-top: 5px;
padding-bottom: 5px;
padding-left: 8px;
padding-right: 8px;
border: 1px solid #AADDAA;
}
.cmd {
font-family: monospace;
color: darkgreen;
}
.shell {
font-family: monospace, courier ;
color: #004000;
margin-left: 40px;
}
.shell strong {
color: #007000;
font-weight: bold;
}
.shell em {
color: #000080
}
.code {
font-family: monospace;
color: darkgreen;
}
.const {
font-family: monospace;
color: #330000;
}
.email {
font-family: monospace;
color: #0000a0;
}
.envvar {
font-family: monospace;
color: #330000;
}
.func {
font-family: serif;
font-style: italic;
color: #330000;
}
.man-page {
font-family: serif;
font-style: italic;
color: darkblue;
}
.pathname {
font-family: monospace;
color: darkgreen;
}
.url {
font-family: serif;
font-style: italic;
color: #440064;
}
.var {
font-family: serif;
font-style: italic;
color: #330000;
}
.t-del {
text-decoration: line-through;
border-bottom: 3px double #ff0000;
background-color: #ffcccc;
}
.t-add {
border-bottom: 3px double #00ff00;
background-color: #ccffcc;
}