html
{
overflow-y: scroll;
}
body
{
font-family: 'Times New Roman', sans-serif;
text-align: justify;
width: 820px;
margin-left: auto;
margin-right: auto;
}
h2
{
font-size: large;
font-variant: small-caps;
background-color: #99ccff;
border-style: solid;
border-color: #3366ff;
border-width: 0px 0px 3px 14px;
padding: 0.2em 0.1em 0.0em 0.5em;
}
h3
{
font-size: medium;
background-color: #99ccff;
border-style: solid;
border-color: #3366ff;
border-width: 0px 0px 0px 7px;
padding: 0.2em 0.1em 0.0em 0.5em;
}
h4
{
font-size: medium;
border-color: #3366ff;
border-style: dotted;
border-width: 0px 0px 3px 0px;
padding: 0.2em 0.1em 0.0em 0.5em;
}
p
{
line-height: 1.5em;
padding: 0.0em 0.0em 0.0em 0.5em;
}
ul, ol
{
line-height: 1.5em;
}
pre
{
background-color: #99ccff;
border-color: #3366ff;
border-style: solid;
border-width: 1px 1px 1px 1px;
padding: 0.5em 0.1em 0.5em 0.8em;
margin-left: 0.5em;
}
.abstract
{
margin-top: 5px;
margin-bottom: 5px;
padding-top: 5px;
padding-bottom: 5px;
padding-left: 10px;
padding-right: 10px;
border-style: solid;
border-width: 1px;
line-height: 1.5em;
}
.name
{
line-height: 1.2em;
}
.language
{
text-align: right;
}
.red
{
color: red;
}
.blue
{
color: blue;
}
.green
{
color: green;
}
.purple
{
color: fuchsia;
}