1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889 |
- body {
- background-color: white;
- color: black;
- font-family: georgia, verdana, sans-serif;
- padding-bottom: 2em;
- font-size-adjust: 0.5;
- }
- p {
- text-align: justify;
- line-height: 130%;
- }
- pre {
- margin-left: 2em;
- }
- /*.widespace {
- margin: 0.1em;
- }*/
- a {
- color:#0000b0;
- text-decoration:none;
- }
- a:hover {
- color:#6060ff;
- text-decoration:underline;
- }
- h1,h2,h3,h4,h5,h6,
- h1 a,h2 a,h3 a,h4 a,h5 a,h6 a {
- color:#25b;
- }
- h1 {
- margin-top: 1.5em;
- margin-bottom: 0;
- }
- h2 {
- margin-top: 1.5em;
- }
- .hr1in {
- height: 1px;
- background-color: #999; /* used by FF */
- color: #999; /* used by IE */
- border: 0;
- }
- .hr1,.hr2,.hr3,.hr4,.hr5,.hr6 {
- display: none;
- }
- .hr0in {
- height: 1px;
- background-color: #7a7;
- border: 0;
- }
- .hr0in,.hr2in,.hr3in,.hr4in,.hr5in,.hr6in {
- display: none;
- }
- .c0 {
- width: 700px;
- }
- /*
- .c0 {
- width: 700px;
- margin-left: auto;
- margin-right: auto;
- text-align: center;
- }
- */
- .c1 {
- text-align: left;
- }
- .toc {
- font-size: 95%;
- margin-top: 1em;
- margin-left: 2em;
- padding: 0.2em;
- border: 1px dotted black;
- }
- .toc ul {
- /*list-style-type: circle;*/
- }
- .toc ul ul ul {
- /*list-style-type: ;*/
- }
- .toc ul ul ul ul {
- display: none;
- }
- code a {
- font-weight: bold;
- }
- a.invalidlink {
- color: #900000;
- }
|