/* sirius customization */
h1 {
margin-top: 10px;
margin-bottom: 10px;
}
h2 {
margin-top: 10px;
margin-bottom: 10px;
}
h3 {
margin-top: 8px;
margin-bottom: 8px;
}
h3 {
margin-top: 6px;
margin-bottom: 6px;
}
h4 {
margin-top: 4px;
margin-bottom: 4px;
}
h5 {
margin-top: 2px;
margin-bottom: 2px;
}
body, table, div, p, dl {
text-align: justify;
font-size: 16px;
}
p {
margin-top: 0px;
margin-bottom: 0px;
}
ul {
margin-top: 2px;
margin-bottom: 2px;
}
code {
font-family: monospace;
color: #e83e8c;
}
div.contents {
margin-left: 15%;
margin-right: 15%;
}