Skip to content

GitLab

Commit 5f43a091 authored by Didier Verna's avatar Didier Verna
Browse files

Prettify css/document.css.

parent 860a1645
Hide whitespace changes
Inline Side-by-side
css/document.css
View file @ 5f43a091
......@@ -22,218 +22,231 @@
/* NATIVE ELEMENTS */
/* Native Elements */
a:link,
a:visited {
color: #1E90FF;
text-decoration: none;
a:visited
{
color: #1E90FF;
text-decoration: none;
}
a:active,
a:focus,
a:hover {
text-decoration: underline;
a:active, a:focus, a:hover
{
text-decoration: underline;
}
abbr,
acronym {
cursor: help;
abbr, acronym
{
cursor: help;
}
blockquote {
color: #555753;
font-style: oblique;
margin: 30px 0px;
padding-left: 3em;
blockquote
{
color: #555753;
font-style: oblique;
margin: 30px 0px;
padding-left: 3em;
}
body {
background-color: white;
box-shadow: 0 0 2px gray;
box-sizing: border-box;
color: #333;
font-family: sans-serif;
font-size: 16px;
margin: 50px auto;
max-width: 960px;
padding: 50px;
body
{
background-color: white;
box-shadow: 0 0 2px gray;
box-sizing: border-box;
color: #333;
font-family: sans-serif;
font-size: 16px;
margin: 50px auto;
max-width: 960px;
padding: 50px;
}
code,
samp,
tt,
var {
color: purple;
font-size: 0.8em;
code, samp, tt, var
{
color: purple;
font-size: 0.8em;
}
div.example,
div.lisp {
margin: 0px;
div.example, div.lisp
{
margin: 0px;
}
dl {
margin: 3em 0em;
dl
{
margin: 3em 0em;
}
dl dl {
margin: 0em;
dl dl
{
margin: 0em;
}
dt {
background-color: #F5F5F5;
padding: 0.5em;
dt
{
background-color: #F5F5F5;
padding: 0.5em;
}
h1,
h2,
h2.contents-heading,
h3,
h4 {
padding: 20px 0px 0px 0px;
font-weight: normal;
h1, h2, h2.contents-heading, h3, h4
{
padding: 20px 0px 0px 0px;
font-weight: normal;
}
h1 {
font-size: 2.4em;
h1
{
font-size: 2.4em;
}
h2 {
font-size: 2.2em;
font-weight: bold;
h2
{
font-size: 2.2em;
font-weight: bold;
}
h3 {
font-size: 1.8em;
h3
{
font-size: 1.8em;
}
h4 {
font-size: 1.4em;
h4
{
font-size: 1.4em;
}
hr {
background-color: silver;
border-style: none;
height: 1px;
margin: 0px;
hr
{
background-color: silver;
border-style: none;
height: 1px;
margin: 0px;
}
html {
background-color: #F5F5F5;
html
{
background-color: #F5F5F5;
}
img {
max-width: 100%;
img
{
max-width: 100%;
}
li {
padding: 5px;
li
{
padding: 5px;
}
pre.display,
pre.example,
pre.format,
pre.lisp,
pre.verbatim{
overflow: auto;
pre.display, pre.example, pre.format, pre.lisp, pre.verbatim
{
overflow: auto;
}
pre.example,
pre.lisp,
pre.verbatim {
background-color: #2D3743;
border-color: #000;
border-style: solid;
border-width: thin;
color: #E1E1E1;
font-size: smaller;
padding: 1em;
pre.example, pre.lisp, pre.verbatim
{
background-color: #2D3743;
border-color: #000;
border-style: solid;
border-width: thin;
color: #E1E1E1;
font-size: smaller;
padding: 1em;
}
table {
border-collapse: collapse;
margin: 40px 0px;
table
{
border-collapse: collapse;
margin: 40px 0px;
}
table.index-cp *,
table.index-fn *,
table.index-ky *,
table.index-pg *,
table.index-tp *,
table.index-vr * {
background-color: inherit;
border-style: none;
table.index-cp *, table.index-fn *, table.index-ky *, table.index-pg *,
table.index-tp *, table.index-vr *
{
background-color: inherit;
border-style: none;
}
td,
th {
border-color: silver;
border-style: solid;
border-width: thin;
padding: 10px;
td, th
{
border-color: silver;
border-style: solid;
border-width: thin;
padding: 10px;
}
th {
background-color: #F5F5F5;
th
{
background-color: #F5F5F5;
}
/* END NATIVE ELEMENTS */
/* CLASSES */
.contents {
margin-bottom: 4em;
/* Classes */
.contents
{
margin-bottom: 4em;
}
.float {
margin: 3em 0em;
.float
{
margin: 3em 0em;
}
.float-caption {
font-size: smaller;
text-align: center;
.float-caption
{
font-size: smaller;
text-align: center;
}
.float > img {
display: block;
margin: auto;
.float > img
{
display: block;
margin: auto;
}
.footnote {
font-size: smaller;
margin: 5em 0em;
.footnote
{
font-size: smaller;
margin: 5em 0em;
}
.footnote h3 {
display: inline;
font-size: small;
.footnote h3
{
display: inline;
font-size: small;
}
.header {
background-color: #F2F2F2;
font-size: small;
padding: 0.2em 1em;
.header
{
background-color: #F2F2F2;
font-size: small;
padding: 0.2em 1em;
}
.key {
color: purple;
font-size: 0.8em;
.key
{
color: purple;
font-size: 0.8em;
}
.menu * {
border-style: none;
.menu *
{
border-style: none;
}
.menu td {
padding: 0.5em 0em;
.menu td
{
padding: 0.5em 0em;
}
.menu td:last-child {
width: 60%;
.menu td:last-child
{
width: 60%;
}
.menu th {
background-color: inherit;
.menu th
{
background-color: inherit;
}
/* document.css ends here */
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment