23 lines
875 B
CSS
23 lines
875 B
CSS
/* revert some skeleton styles, reduce whitespace */
|
|
body { line-height:revert; }
|
|
div.container { width:100%; max-width:revert; margin:1em; }
|
|
ul ul {margin-top:revert; margin-bottom:revert;}
|
|
ul li {margin-top:revert; margin-bottom:revert;}
|
|
p { margin:revert;}
|
|
h1,h2,h3 { white-space:revert; }
|
|
|
|
/* styles used by index.md's table */
|
|
table#quickref3 p { margin:0; }
|
|
table#quickref3 tr { vertical-align:top; }
|
|
table#quickref3 tr:first-child { font-weight:bold; }
|
|
table#quickref3 tr:first-child a { font-size:small; }
|
|
table#quickref3 td:first-child { width:10%; }
|
|
table#quickref3 tr:not(:first-child) td:not(:first-child) span:first-child {
|
|
white-space:nowrap;
|
|
font-weight:bold;
|
|
color:navy;
|
|
font-family:monospace;
|
|
}
|
|
table#quickref3 tr:not(:first-child) td:not(:first-child) span:not(:first-child) { font-size:small; }
|
|
table#quickref3 td:not(:first-child) { width:30%; }
|