2013-05-19 17:14:20 -04:00
|
|
|
body {
|
|
|
|
margin: 1em 5em;
|
|
|
|
text-align: justify;
|
2013-05-19 22:17:51 -04:00
|
|
|
font-family: 'Liberation Sans', sans-serif;
|
2013-05-19 17:14:20 -04:00
|
|
|
}
|
|
|
|
|
2013-05-25 16:36:24 -04:00
|
|
|
body.index {
|
|
|
|
margin: 2em 10em 1em 10em;
|
2013-05-29 23:21:53 -04:00
|
|
|
padding-right: 300px;
|
2013-05-25 16:36:24 -04:00
|
|
|
}
|
|
|
|
|
2013-05-21 07:00:54 -04:00
|
|
|
a { color: #0066cc; }
|
|
|
|
a:visited { color: #6666cc; }
|
|
|
|
|
2013-05-22 23:19:43 -04:00
|
|
|
/* hanging; ids for asciidoc styling */
|
|
|
|
header, footer,
|
|
|
|
#header, #footer, .article #copyright {
|
2013-05-19 17:14:20 -04:00
|
|
|
margin: 0em -3em;
|
2013-05-22 23:19:43 -04:00
|
|
|
text-align: left;
|
2013-05-19 17:14:20 -04:00
|
|
|
}
|
|
|
|
|
2013-05-25 16:36:24 -04:00
|
|
|
body.index footer {
|
|
|
|
margin: 0em -10em;
|
|
|
|
}
|
|
|
|
|
2013-05-25 22:15:16 -04:00
|
|
|
h1, h2, h3, #menu,
|
2013-06-03 22:29:23 -04:00
|
|
|
body.index ul.index li .day,
|
|
|
|
strong {
|
2013-05-19 17:14:20 -04:00
|
|
|
font-family: 'URW Gothic L', 'Avant Garde', sans-serif;
|
2013-05-19 17:35:13 -04:00
|
|
|
font-weight: normal;
|
2013-05-19 17:14:20 -04:00
|
|
|
}
|
|
|
|
|
2013-05-19 17:35:13 -04:00
|
|
|
h1 { font-size: 1.8em; }
|
|
|
|
h2 { font-size: 1.4em; }
|
2013-05-19 17:14:20 -04:00
|
|
|
|
|
|
|
h2.date {
|
2013-05-19 17:35:13 -04:00
|
|
|
font-size: 1.1em;
|
|
|
|
color: #666f63;
|
|
|
|
|
|
|
|
margin-top: -1em;
|
|
|
|
margin-bottom: 1.5em;
|
|
|
|
}
|
|
|
|
|
2013-05-27 16:59:14 -04:00
|
|
|
h1 a, h1 a:visited {
|
|
|
|
text-decoration: none;
|
|
|
|
color: inherit;
|
|
|
|
}
|
|
|
|
|
2013-05-22 23:19:43 -04:00
|
|
|
/* latter for asciidoc-generated output */
|
|
|
|
h1.title,
|
|
|
|
#header h1 {
|
2013-05-19 17:35:13 -04:00
|
|
|
font-size: 2em;
|
|
|
|
margin-bottom: 0.1em;
|
2014-12-07 00:24:56 -05:00
|
|
|
text-align: left;
|
2013-05-19 17:35:13 -04:00
|
|
|
}
|
2013-05-22 23:19:43 -04:00
|
|
|
|
2013-05-19 17:35:13 -04:00
|
|
|
h2.desc {
|
|
|
|
font-size: 0.8em;
|
|
|
|
text-transform: uppercase;
|
|
|
|
letter-spacing: 0.1em;
|
|
|
|
font-weight: normal;
|
|
|
|
color: #666f63;
|
|
|
|
|
|
|
|
margin-top: 0px;
|
2013-05-25 18:10:19 -04:00
|
|
|
margin-bottom: 2em;
|
2013-05-19 17:14:20 -04:00
|
|
|
}
|
|
|
|
|
2013-05-25 11:09:26 -04:00
|
|
|
#menu {
|
|
|
|
text-align: center;
|
2013-05-25 18:10:19 -04:00
|
|
|
padding: 0;
|
2013-05-29 23:21:53 -04:00
|
|
|
margin: 0px -300px 4em 0px;
|
2013-05-25 11:09:26 -04:00
|
|
|
}
|
|
|
|
#menu li {
|
|
|
|
display: inline;
|
2013-05-25 18:10:19 -04:00
|
|
|
font-size: 1.3em;
|
2013-05-25 11:09:26 -04:00
|
|
|
letter-spacing: 0.05em;
|
|
|
|
}
|
|
|
|
#menu li a {
|
|
|
|
color: #666f63;
|
|
|
|
text-decoration: none;
|
|
|
|
border-left: 1px solid #868f83;
|
|
|
|
padding: 0.15em 1em;
|
|
|
|
}
|
|
|
|
#menu li:first-child a {
|
|
|
|
border-left: none;
|
|
|
|
}
|
|
|
|
|
2013-05-25 18:10:44 -04:00
|
|
|
#headline {
|
2013-05-29 23:21:53 -04:00
|
|
|
position: absolute;
|
2013-05-25 18:10:44 -04:00
|
|
|
text-align: center;
|
2013-05-29 23:21:53 -04:00
|
|
|
right: 10em;
|
2013-05-25 18:10:44 -04:00
|
|
|
}
|
|
|
|
#headline a {
|
|
|
|
display: block;
|
:Updated CSS to format pages for smaller resolutions
The page is designed for modern PC resolutions---that is, 1280 or greater width.
Since it uses a 300px right-hand sidebar in conjunction with fairly generous
margins (for the index pages, at least), this causes problems with smaller
resolutions.
For the classic (but outdated) 1024px resolution, the margins will adjust to
give more viewing room. For 640px or less resolutions, which are common on some
mobile devies such as tablets, the headline that is normally displayed in the
sidebar is moved to the top and the images are significantly reduced in size,
providing 300px additional viewing width. The 42x42px images that are displayed
below the GNU logo on the upper-right are also moved to the top of the page and
to the left of the GNU logo and certain other margins (such as blockquote and
ul) are reduced.
At around 400px, the images next to the GNU logo start to become problematic and
may overlap with the title; therefore, the size of the images are halved so that
they can fit above the title. This happens to be close the resolution of certain
mobile devices, such as the iPhone (which unfortunately I see many hits from in
my sever logs) with a width of 320px, so this is the layout that will be used
for such devices.
Note that the styles for these widths are build atop of the existing rules and
essentially ``undo'' certain styles; this is to fall back to the default desktop
style in case the browser does not support such media queries.
2013-06-15 23:13:46 -04:00
|
|
|
text-decoration: none;
|
2013-05-25 18:10:44 -04:00
|
|
|
margin-top: 2em;
|
|
|
|
clear: left;
|
|
|
|
}
|
|
|
|
#headline a:first-child {
|
|
|
|
margin-top: 0;
|
|
|
|
}
|
|
|
|
#headline img {
|
|
|
|
margin-left: 2em;
|
|
|
|
}
|
|
|
|
|
2013-05-29 23:21:53 -04:00
|
|
|
body.index .content {
|
|
|
|
/* this is not ideal, but works since the sidebar content is (currently) all
|
|
|
|
images */
|
|
|
|
min-height: 750px;
|
|
|
|
padding-right: 1.5em;
|
|
|
|
}
|
|
|
|
|
2013-05-25 22:15:16 -04:00
|
|
|
body.index h3.index {
|
|
|
|
margin-bottom: 0.5em;
|
|
|
|
}
|
|
|
|
body.index ul.index {
|
|
|
|
text-align: left;
|
|
|
|
list-style: none;
|
|
|
|
margin: 0px;
|
|
|
|
padding-left: 1.5em;
|
|
|
|
}
|
|
|
|
body.index ul.index li {
|
|
|
|
margin: 0.5em 0px;
|
|
|
|
}
|
|
|
|
body.index ul.index li .day {
|
|
|
|
float: left;
|
|
|
|
margin-right: 0.5em;
|
|
|
|
}
|
|
|
|
|
2013-05-19 17:14:20 -04:00
|
|
|
p#ref-0 {
|
|
|
|
margin-top: 2em;
|
|
|
|
}
|
|
|
|
p.ref {
|
|
|
|
font-size: 0.9em;
|
2013-05-27 17:01:04 -04:00
|
|
|
margin: 0.25em 0em;
|
:Updated CSS to format pages for smaller resolutions
The page is designed for modern PC resolutions---that is, 1280 or greater width.
Since it uses a 300px right-hand sidebar in conjunction with fairly generous
margins (for the index pages, at least), this causes problems with smaller
resolutions.
For the classic (but outdated) 1024px resolution, the margins will adjust to
give more viewing room. For 640px or less resolutions, which are common on some
mobile devies such as tablets, the headline that is normally displayed in the
sidebar is moved to the top and the images are significantly reduced in size,
providing 300px additional viewing width. The 42x42px images that are displayed
below the GNU logo on the upper-right are also moved to the top of the page and
to the left of the GNU logo and certain other margins (such as blockquote and
ul) are reduced.
At around 400px, the images next to the GNU logo start to become problematic and
may overlap with the title; therefore, the size of the images are halved so that
they can fit above the title. This happens to be close the resolution of certain
mobile devices, such as the iPhone (which unfortunately I see many hits from in
my sever logs) with a width of 320px, so this is the layout that will be used
for such devices.
Note that the styles for these widths are build atop of the existing rules and
essentially ``undo'' certain styles; this is to fall back to the default desktop
style in case the browser does not support such media queries.
2013-06-15 23:13:46 -04:00
|
|
|
text-align: left;
|
2013-05-27 17:01:04 -04:00
|
|
|
}
|
|
|
|
sup {
|
|
|
|
font-size: 0.6em;
|
|
|
|
}
|
|
|
|
p.ref:target {
|
|
|
|
background-color: #fce94f;
|
2013-05-19 17:14:20 -04:00
|
|
|
}
|
|
|
|
|
2013-05-29 23:21:53 -04:00
|
|
|
pre {
|
|
|
|
white-space: pre-wrap;
|
|
|
|
}
|
|
|
|
|
2013-05-22 23:19:43 -04:00
|
|
|
dt {
|
|
|
|
letter-spacing: 0.1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
tt {
|
|
|
|
background-color: #eeeeec;
|
|
|
|
color: #000055;
|
|
|
|
}
|
|
|
|
|
2013-05-29 23:21:53 -04:00
|
|
|
.inline-img {
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
2013-05-22 23:19:43 -04:00
|
|
|
.listingblock {
|
|
|
|
background-color: #eeeeec;
|
|
|
|
background-image: url('images/cross_scratches.png');
|
|
|
|
padding: 0.5em;
|
|
|
|
border: 1px solid #babdb6;
|
|
|
|
border-radius: 0.25em
|
|
|
|
}
|
|
|
|
|
|
|
|
.exampleblock {
|
|
|
|
margin-left: 2em;
|
|
|
|
padding-left: 1em;
|
|
|
|
border-left: 5px solid #eeeeec;
|
|
|
|
}
|
|
|
|
|
2013-05-19 17:14:20 -04:00
|
|
|
#gnuinside {
|
|
|
|
position: absolute;
|
|
|
|
display: block;
|
|
|
|
|
|
|
|
top: 0px;
|
|
|
|
right: 0px;
|
|
|
|
width: 50px;
|
|
|
|
height: 50px;
|
|
|
|
}
|
|
|
|
|
2013-05-22 23:19:43 -04:00
|
|
|
footer, #footer, .article #copyright {
|
2013-05-19 17:14:20 -04:00
|
|
|
font-size: 0.9em;
|
|
|
|
margin-top: 2em;
|
2013-05-26 20:57:14 -04:00
|
|
|
clear: both;
|
2013-05-19 17:14:20 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
footer .commit-id {
|
|
|
|
font-family: monospace;
|
|
|
|
}
|
2013-05-19 22:14:12 -04:00
|
|
|
|
2013-05-29 23:21:53 -04:00
|
|
|
/* to account for headline (sidebar) */
|
|
|
|
body.index footer .bimgs,
|
|
|
|
body.index footer hr {
|
|
|
|
margin-right: -300px;
|
|
|
|
}
|
|
|
|
|
2013-05-20 06:36:18 -04:00
|
|
|
#selflinks {
|
|
|
|
position: absolute;
|
|
|
|
top: 60px;
|
|
|
|
right: 0px;
|
|
|
|
width: 42px;
|
|
|
|
padding: 6px;
|
|
|
|
}
|
:Updated CSS to format pages for smaller resolutions
The page is designed for modern PC resolutions---that is, 1280 or greater width.
Since it uses a 300px right-hand sidebar in conjunction with fairly generous
margins (for the index pages, at least), this causes problems with smaller
resolutions.
For the classic (but outdated) 1024px resolution, the margins will adjust to
give more viewing room. For 640px or less resolutions, which are common on some
mobile devies such as tablets, the headline that is normally displayed in the
sidebar is moved to the top and the images are significantly reduced in size,
providing 300px additional viewing width. The 42x42px images that are displayed
below the GNU logo on the upper-right are also moved to the top of the page and
to the left of the GNU logo and certain other margins (such as blockquote and
ul) are reduced.
At around 400px, the images next to the GNU logo start to become problematic and
may overlap with the title; therefore, the size of the images are halved so that
they can fit above the title. This happens to be close the resolution of certain
mobile devices, such as the iPhone (which unfortunately I see many hits from in
my sever logs) with a width of 320px, so this is the layout that will be used
for such devices.
Note that the styles for these widths are build atop of the existing rules and
essentially ``undo'' certain styles; this is to fall back to the default desktop
style in case the browser does not support such media queries.
2013-06-15 23:13:46 -04:00
|
|
|
#selflinks a {
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
2013-05-20 06:36:18 -04:00
|
|
|
|
2013-05-19 22:14:12 -04:00
|
|
|
.bimgs {
|
|
|
|
float: right;
|
|
|
|
margin-left: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.bimgs img {
|
|
|
|
margin-left: 0.1em;
|
|
|
|
}
|
|
|
|
.bimgs img:first-child {
|
|
|
|
margin-left: 0em;
|
|
|
|
}
|
2013-05-22 23:19:43 -04:00
|
|
|
|
2013-06-03 22:29:23 -04:00
|
|
|
body.content .abstract {
|
|
|
|
font-size: 0.9em;
|
|
|
|
}
|
|
|
|
body.content .abstract .start {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
2014-12-07 00:24:56 -05:00
|
|
|
dl > dd {
|
|
|
|
margin-bottom: 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
dl > dd > dl {
|
|
|
|
margin-top: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
dl > dd > p:last-child {
|
|
|
|
margin-bottom: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#postamble > p {
|
|
|
|
margin: 0em;
|
|
|
|
}
|
|
|
|
|
2013-05-22 23:19:43 -04:00
|
|
|
|
|
|
|
/** exclusively asciidoc-generated content styling **/
|
|
|
|
body.article h2 {
|
|
|
|
position: relative;
|
|
|
|
|
|
|
|
border-bottom: 2px solid #babdb6;
|
|
|
|
left: -2em;
|
|
|
|
|
|
|
|
margin-right: -2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
body.article h3 {
|
|
|
|
border-bottom: 1px solid #babdb6;
|
|
|
|
}
|
|
|
|
|
|
|
|
#author {
|
|
|
|
font-size: 1.1em;
|
|
|
|
letter-spacing: 0.1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
#footer {
|
|
|
|
border-top: 2px solid #babdb6;
|
|
|
|
padding-top: 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.article #copyright {
|
|
|
|
margin-top: 0;
|
|
|
|
}
|
:Updated CSS to format pages for smaller resolutions
The page is designed for modern PC resolutions---that is, 1280 or greater width.
Since it uses a 300px right-hand sidebar in conjunction with fairly generous
margins (for the index pages, at least), this causes problems with smaller
resolutions.
For the classic (but outdated) 1024px resolution, the margins will adjust to
give more viewing room. For 640px or less resolutions, which are common on some
mobile devies such as tablets, the headline that is normally displayed in the
sidebar is moved to the top and the images are significantly reduced in size,
providing 300px additional viewing width. The 42x42px images that are displayed
below the GNU logo on the upper-right are also moved to the top of the page and
to the left of the GNU logo and certain other margins (such as blockquote and
ul) are reduced.
At around 400px, the images next to the GNU logo start to become problematic and
may overlap with the title; therefore, the size of the images are halved so that
they can fit above the title. This happens to be close the resolution of certain
mobile devices, such as the iPhone (which unfortunately I see many hits from in
my sever logs) with a width of 320px, so this is the layout that will be used
for such devices.
Note that the styles for these widths are build atop of the existing rules and
essentially ``undo'' certain styles; this is to fall back to the default desktop
style in case the browser does not support such media queries.
2013-06-15 23:13:46 -04:00
|
|
|
|
|
|
|
@media screen and (max-width: 1024px) {
|
|
|
|
body {
|
|
|
|
margin: 2em !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
#headline {
|
|
|
|
right: 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
header, footer,
|
|
|
|
#header, #footer, .article #copyright {
|
|
|
|
margin-left: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
body.index footer {
|
|
|
|
margin: 0em;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
@media screen and (max-width: 640px) {
|
|
|
|
body {
|
|
|
|
margin: 1em !important;
|
|
|
|
padding-right: 0 !important;
|
|
|
|
}
|
|
|
|
body.index .content {
|
|
|
|
min-height: 0px;
|
|
|
|
padding-right: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
header {
|
|
|
|
margin-right: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
#menu {
|
|
|
|
margin-right: 0px;
|
|
|
|
margin-bottom: 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
#headline {
|
|
|
|
position: initial;
|
|
|
|
}
|
|
|
|
|
|
|
|
#headline a {
|
|
|
|
display: inline;
|
|
|
|
margin: 0.5em;
|
|
|
|
}
|
|
|
|
#headline img {
|
|
|
|
max-width: 100px;
|
|
|
|
max-height: 100px;
|
|
|
|
margin-left: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
#selflinks {
|
|
|
|
position: absolute;
|
|
|
|
top: 0px;
|
|
|
|
right: 50px;
|
|
|
|
width: auto;
|
|
|
|
height: 42px;
|
|
|
|
padding: 6px;
|
|
|
|
}
|
|
|
|
|
|
|
|
header, footer,
|
|
|
|
body.index footer .bimgs,
|
|
|
|
body.index footer hr,
|
|
|
|
#header, #footer, .article #copyright {
|
|
|
|
margin-right: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.bimgs {
|
|
|
|
float: none;
|
|
|
|
margin-left: 0px;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* we're pretty low on real estate at this point */
|
|
|
|
blockquote {
|
|
|
|
margin: 1em 0px 1em 2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
ul, ul.index {
|
|
|
|
padding-left: 1em !important;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* when things start getting odd from 640px */
|
|
|
|
@media screen and (max-width: 400px) {
|
|
|
|
#menu {
|
|
|
|
font-size: 0.8em;
|
|
|
|
}
|
|
|
|
|
|
|
|
#selflinks img {
|
|
|
|
max-width: 21px;
|
|
|
|
max-height: 21px;
|
|
|
|
}
|
2013-06-16 20:45:30 -04:00
|
|
|
|
|
|
|
footer {
|
|
|
|
font-size: 0.9em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.bimgs img {
|
|
|
|
width: 70px;
|
|
|
|
height: 25px;
|
|
|
|
}
|
:Updated CSS to format pages for smaller resolutions
The page is designed for modern PC resolutions---that is, 1280 or greater width.
Since it uses a 300px right-hand sidebar in conjunction with fairly generous
margins (for the index pages, at least), this causes problems with smaller
resolutions.
For the classic (but outdated) 1024px resolution, the margins will adjust to
give more viewing room. For 640px or less resolutions, which are common on some
mobile devies such as tablets, the headline that is normally displayed in the
sidebar is moved to the top and the images are significantly reduced in size,
providing 300px additional viewing width. The 42x42px images that are displayed
below the GNU logo on the upper-right are also moved to the top of the page and
to the left of the GNU logo and certain other margins (such as blockquote and
ul) are reduced.
At around 400px, the images next to the GNU logo start to become problematic and
may overlap with the title; therefore, the size of the images are halved so that
they can fit above the title. This happens to be close the resolution of certain
mobile devices, such as the iPhone (which unfortunately I see many hits from in
my sever logs) with a width of 320px, so this is the layout that will be used
for such devices.
Note that the styles for these widths are build atop of the existing rules and
essentially ``undo'' certain styles; this is to fall back to the default desktop
style in case the browser does not support such media queries.
2013-06-15 23:13:46 -04:00
|
|
|
}
|
2014-11-30 17:40:04 -05:00
|
|
|
|
|
|
|
|
2014-12-07 00:24:56 -05:00
|
|
|
/*** Org mode HTML output ***/
|
|
|
|
/* much of the above will overlap, so only some is needed here */
|
|
|
|
#postamble {
|
|
|
|
margin: 2em -5em 0em -5em;
|
|
|
|
text-align: left;
|
|
|
|
font-size: 0.9em;
|
|
|
|
|
|
|
|
border-top: 1px solid #babdb6;
|
|
|
|
padding-top: 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
.todo, .done {
|
|
|
|
font-size: 0.1em;
|
|
|
|
letter-spacing: -0.1em;
|
|
|
|
color: transparent;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* note that we must undo our hiding */
|
|
|
|
.todo::before,
|
|
|
|
.done::before {
|
|
|
|
position: absolute;
|
|
|
|
visibility: visible;
|
|
|
|
|
|
|
|
letter-spacing: normal;
|
|
|
|
font-size: 12em;
|
|
|
|
left: -1.5em;
|
|
|
|
top: -0.1em;
|
|
|
|
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
.todo::before {
|
|
|
|
color: black;
|
|
|
|
content: '☐';
|
|
|
|
}
|
|
|
|
|
|
|
|
.done::before {
|
|
|
|
color: #4e9a06;
|
|
|
|
content: '☑';
|
|
|
|
}
|
|
|
|
|
|
|
|
/* eases positioning in, e.g., margin */
|
|
|
|
.outline-1,
|
|
|
|
.outline-2,
|
|
|
|
.outline-3 {
|
|
|
|
position: relative;
|
|
|
|
}
|
|
|
|
|
|
|
|
#table-of-contents .todo,
|
|
|
|
#table-of-contents .done {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
2014-11-30 17:40:04 -05:00
|
|
|
/*** https://github.com/jgm/highlighting-kate/blob/master/css/hk-tango.css * ***/
|
|
|
|
/* Loosely based on pygment's tango colors */
|
|
|
|
table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre
|
|
|
|
{ margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; background-color: #f8f8f8 }
|
|
|
|
td.nums { text-align: right; padding-right: 5px; padding-left: 5px; background-color: #f0f0f0; }
|
|
|
|
td.sourceCode { padding-left: 5px; }
|
|
|
|
code.sourceCode { background-color: #f8f8f8; }
|
|
|
|
pre.sourceCode { background-color: #f8f8f8; line-height: 125% }
|
|
|
|
td.nums pre { background-color: #f0f0f0; line-height: 125% }
|
|
|
|
code.sourceCode span.kw { color: #204a87; font-weight: bold } /* Keyword */
|
|
|
|
code.sourceCode span.dt { color: #204a87 } /* Keyword.Type */
|
|
|
|
code.sourceCode span.dv { color: #0000cf } /* Literal.Number.Integer */
|
|
|
|
code.sourceCode span.bn { color: #0000cf } /* Literal.Number.Hex */
|
|
|
|
code.sourceCode span.fl { color: #0000cf } /* Literal.Number.Float */
|
|
|
|
code.sourceCode span.ch { color: #4e9a06 } /* Literal.String.Char */
|
|
|
|
code.sourceCode span.st { color: #4e9a06 } /* Literal.String */
|
|
|
|
code.sourceCode span.co { color: #8f5902; font-style: italic } /* Comment */
|
|
|
|
code.sourceCode span.ot { color: #8f5902 } /* Comment.Preproc */
|
|
|
|
code.sourceCode span.al { color: #ef2929 } /* Generic.Error */
|
|
|
|
code.sourceCode span.fu { color: #000000 } /* Name.Function */
|
|
|
|
code.sourceCode span.re { }
|
|
|
|
code.sourceCode span.er { color: #a40000; border: 1px solid #ef2929 } /* Error */
|