You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

167 lines
2.2 KiB

@media screen {
.container {
padding-right: 10px;
padding-left: 10px;
margin-right: auto;
margin-left: auto;
max-width: 900px;
}
}
.rimage img {
/* from knitr - for examples and demos */
width: 96%;
margin-left: 2%;
}
.katex {
font-size: 1.1em;
}
code {
color: rgb(194, 42, 42);
background: inherit;
font-style: italic;
font-weight: bold;
}
pre code {
color: rgb(54, 54, 54);
font-style: normal;
}
body {
line-height: 1.4;
background: white;
color: black;
}
a:link {
background: white;
color: blue;
}
a:visited {
background: white;
color: rgb(50%, 0%, 50%);
}
h1 {
background: white;
color: rgb(55%, 55%, 55%);
font-family: monospace;
font-size: 1.4em;
/* x-large; */
text-align: center;
}
h2 {
background: white;
color: rgb(40%, 40%, 40%);
font-family: monospace;
font-size: 1.2em;
/* large; */
text-align: center;
}
h3 {
background: white;
color: rgb(40%, 40%, 40%);
font-family: monospace;
font-size: 1.2em;
/* large; */
}
h4 {
background: white;
color: rgb(40%, 40%, 40%);
font-family: monospace;
font-style: italic;
font-size: 1.2em;
/* large; */
}
h5 {
background: white;
color: rgb(40%, 40%, 40%);
font-family: monospace;
}
h6 {
background: white;
color: rgb(40%, 40%, 40%);
font-family: monospace;
font-style: italic;
}
img.toplogo {
width: 4em;
vertical-align: middle;
}
img.arrow {
width: 30px;
height: 30px;
border: 0;
}
span.acronym {
font-size: small;
}
span.env {
font-family: monospace;
}
span.file {
font-family: monospace;
}
span.option {
font-family: monospace;
}
span.pkg {
font-weight: bold;
}
span.samp {
font-family: monospace;
}
div.vignettes a:hover {
background: rgb(85%, 85%, 85%);
}
.character {
color: brown;
}
.comment {
color: green;
font-style: italic;
}
.number {
color: skyblue;
}
.keyword {
color: blue;
font-weight: bold;
}
.operator {
color: gray;
font-weight: bold;
}
.bracket {
color: rgb(197, 1, 197);
font-weight: bold;
}
.logical {
color: fuchsia;
font-style: italic;
}