mirror of
https://github.com/carp-lang/Carp.git
synced 2024-09-17 16:38:14 +03:00
f7785ad93d
* fix: render submodules in html docs * fix: also render deeply nested modules * feat: no prefixes in nested submodule doc rendering * fix: fix text alignment of module index for sdl * feat: make submodules expandable
150 lines
2.0 KiB
CSS
150 lines
2.0 KiB
CSS
html {
|
|
font-family: "Helvetica", sans-serif;
|
|
font-size: 1.0em;
|
|
}
|
|
|
|
p {
|
|
margin: 0em 0em 0.5em 0em;
|
|
line-height: 1.5em;
|
|
}
|
|
|
|
a {
|
|
color: #f00;
|
|
text-decoration: none;
|
|
}
|
|
|
|
a:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
.logo {
|
|
float: right;
|
|
font-family: "Hasklig", "Lucida Console", monospace;
|
|
width: 20%;
|
|
margin-right: 10%;
|
|
}
|
|
|
|
.logo img {
|
|
width: 150px;
|
|
margin-bottom: 1em;
|
|
}
|
|
|
|
details summary {
|
|
cursor: pointer;
|
|
}
|
|
|
|
details summary > * {
|
|
display: inline;
|
|
}
|
|
|
|
.index {
|
|
text-align: left;
|
|
}
|
|
|
|
.args {
|
|
background-color: #eee;
|
|
padding: 3px;
|
|
display: inline-block;
|
|
margin-top: 0.3em;
|
|
margin-bottom: 0.3em;
|
|
white-space: normal;
|
|
}
|
|
|
|
ul {
|
|
list-style-type: none;
|
|
font-family: "Hasklig", "Lucida Console", monospace;
|
|
line-height: 1.4em;
|
|
padding-left: 1em;
|
|
}
|
|
|
|
.title {
|
|
font-size: 1.5em;
|
|
}
|
|
|
|
.content {
|
|
width: 100%;
|
|
}
|
|
|
|
.module {
|
|
max-width: 800px;
|
|
margin: auto;
|
|
margin-top: 5em;
|
|
}
|
|
|
|
h1 {
|
|
|
|
}
|
|
|
|
h3 {
|
|
margin: 0em;
|
|
}
|
|
|
|
.anchor {
|
|
color: #000;
|
|
text-decoration: none;
|
|
}
|
|
|
|
.anchor:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
.binder {
|
|
margin: 3.5em 0em 0em 0em;
|
|
}
|
|
|
|
.sig {
|
|
font-family: "Hasklig", "Source Code Pro", "Lucida Console", monospace;
|
|
}
|
|
|
|
code {
|
|
font-family: "Hasklig", "Source Code Pro", "Lucida Console", monospace;
|
|
}
|
|
|
|
.doc {
|
|
/* font-style: italic; */
|
|
}
|
|
|
|
.description {
|
|
margin-top: 0.5em;
|
|
margin-bottom: 0.5em;
|
|
font-size: 0.8em;
|
|
color: #aaa;
|
|
}
|
|
|
|
.module-description {
|
|
margin: 0em;
|
|
}
|
|
|
|
.huge {
|
|
font-size: 15em;
|
|
margin: 0em;
|
|
}
|
|
|
|
/* Smaller screens */
|
|
@media only screen and (max-width: 600px) {
|
|
.logo {
|
|
margin: 1em;
|
|
text-align: left;
|
|
float: left;
|
|
width: 100%;
|
|
}
|
|
.logo img {
|
|
display: block;
|
|
margin-left: auto;
|
|
margin-right: auto;
|
|
width: 50%;
|
|
}
|
|
.content {
|
|
margin: 0.5em;
|
|
}
|
|
.binder {
|
|
margin: 0em 0em 1.5em 0em;
|
|
}
|
|
.sig {
|
|
font-size: 0.9em;
|
|
}
|
|
ul {
|
|
padding: 0px;
|
|
}
|
|
}
|