1
0
mirror of synced 2025-01-18 06:21:40 +03:00

tabs to spaces

This commit is contained in:
pookey 2007-07-17 13:54:51 +00:00
parent fb58fb6598
commit b28a63e420

View File

@ -1,32 +1,32 @@
body, html { body, html {
margin: 0; margin: 0;
padding: 0; padding: 0;
font-family: "Trebuchet MS", sans-serif; font-family: "Trebuchet MS", sans-serif;
font-size: medium; font-size: medium;
background: white; background: white;
color: black; color: black;
} }
h1, h2, h3, h4, h5, h6 { h1, h2, h3, h4, h5, h6 {
font-family: "Lucida Bright", "Times New Roman", serif; font-family: "Lucida Bright", "Times New Roman", serif;
} }
h1 { h1 {
text-align: center; text-align: center;
font-size: 2em; font-size: 2em;
margin-bottom: 1em; margin-bottom: 1em;
margin-top: 0; margin-top: 0;
} }
h2 { h2 {
font-size: 1.5em; font-size: 1.5em;
text-align: left; text-align: left;
margin: 0.67em 0; margin: 0.67em 0;
} }
h3 { h3 {
font-size: 1.17em; font-size: 1.17em;
margin: 1em 0; margin: 1em 0;
} }
h4 { h4 {
@ -39,74 +39,74 @@ h4 {
} }
p, ul, ol, dl { p, ul, ol, dl {
line-height: 1.5em; line-height: 1.5em;
text-align: justify; text-align: justify;
font-size: medium; font-size: medium;
} }
ul { ul {
list-style-type: square; list-style-type: square;
} }
dd { dd {
margin-bottom: 0.5em; margin-bottom: 0.5em;
} }
table { table {
border: 1px solid #aaaaaa; border: 1px solid #aaaaaa;
border-collapse: collapse; border-collapse: collapse;
margin: 0.5em 0; margin: 0.5em 0;
color: black; color: black;
background-color: #f9f9f9; background-color: #f9f9f9;
line-height: 1.5em; line-height: 1.5em;
} }
td, th { td, th {
padding: 0.2em; padding: 0.2em;
border: 1px solid #aaaaaa; border: 1px solid #aaaaaa;
} }
th { th {
color: black; color: black;
background-color: #f2f2f2; background-color: #f2f2f2;
} }
a:link { a:link {
color: #3465a4; color: #3465a4;
background-color: inherit; background-color: inherit;
text-decoration: none; text-decoration: none;
} }
a:visited { a:visited {
color: #75507b; color: #75507b;
background-color: inherit; background-color: inherit;
text-decoration: none; text-decoration: none;
} }
a:link:hover, a:link:hover,
a:link:active, a:link:active,
a:visited:hover, a:visited:hover,
a:visited:active { a:visited:active {
text-decoration: underline; text-decoration: underline;
color: #555753; color: #555753;
background-color: inherit; background-color: inherit;
} }
/*** Code blocks and highlighting**********************************************/ /*** Code blocks and highlighting**********************************************/
pre, tt { pre, tt {
font-family: "Bitstream Vera Sans Mono", monospace; font-family: "Bitstream Vera Sans Mono", monospace;
font-size: small; font-size: small;
} }
pre { pre {
font-weight: bold; font-weight: bold;
padding: 1em; padding: 1em;
margin: 1em 0; margin: 1em 0;
line-height: 1.2em; line-height: 1.2em;
color: black; color: black;
background-color: #f6f6f6; background-color: #f6f6f6;
border: 1px solid #cccccc; border: 1px solid #cccccc;
/* Pup's Box Flow Hack, Rev 2 */ /* Pup's Box Flow Hack, Rev 2 */
overflow/**/: auto; overflow/**/: auto;
@ -123,36 +123,36 @@ pre, x:-moz-any-link {
} }
pre .default { pre .default {
color: #000000; color: #000000;
background-color: inherit; background-color: inherit;
} }
pre .keyword { pre .keyword {
color: #3465a4; color: #3465a4;
background-color: inherit; background-color: inherit;
} }
pre .string { pre .string {
color: #ef2929; color: #ef2929;
background-color: inherit; background-color: inherit;
} }
pre .comment { pre .comment {
color: #888a85; color: #888a85;
background-color: inherit; background-color: inherit;
} }
/** Page layout ***************************************************************/ /** Page layout ***************************************************************/
#sidebar { #sidebar {
float: right; float: right;
margin: 1em; margin: 1em;
padding: 0; padding: 0;
} }
#wrap { #wrap {
margin: 0; margin: 0;
padding: 0; padding: 0;
} }
#content { #content {
@ -195,8 +195,8 @@ ul.tree {
.tree .expander:visited, .tree .expander:visited,
.tree .expander:active, .tree .expander:active,
.tree .expander:hover { .tree .expander:hover {
color: black; color: black;
background-color: inherit; background-color: inherit;
text-decoration: none; text-decoration: none;
} }
@ -207,11 +207,11 @@ ul.tree {
/** Table of Contents *********************************************************/ /** Table of Contents *********************************************************/
#table-of-contents { #table-of-contents {
border: 1px solid #cccccc; border: 1px solid #cccccc;
color: black; color: black;
background-color: #f6f6f6; background-color: #f6f6f6;
padding: 1em; padding: 1em;
margin: 0; margin: 0;
} }
#table-of-contents p, #table-of-contents p,