diff options
| -rw-r--r-- | html/nhaddock.css | 65 | 
1 files changed, 36 insertions, 29 deletions
diff --git a/html/nhaddock.css b/html/nhaddock.css index 8134b0d1..3fd40198 100644 --- a/html/nhaddock.css +++ b/html/nhaddock.css @@ -44,7 +44,11 @@ h5 { font-size: 105%; }  .caption, h1, h2, h3, h4, h5, h6 {     font-weight: bold;    color: rgb(78,98,114); -  margin: 0.8em 0 0.5em 0; +  margin: 0.8em 0 0.5em; +} + +* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { +  margin-top: 4em;  }  ul.links { @@ -65,36 +69,13 @@ ul.links li {  ul.links li a { padding: 5px 10px; } -/* -ul.links { -  list-style: none; -  text-align: left; -  position: absolute; -  right: 5px; -  top: 5px; -  display: inline-table; -  margin: 0; -} -*/ -/* -ul.links li { -  display: inline; -  white-space: nowrap; -} -*/ -  .hide { display: none; }  .show { }  pre {    padding: 0.5em; -  margin: 0.5em 0; -/*   border-top: 1px solid rgb(78,98,114); */ -/*   border-bottom: 1px solid rgb(78,98,114); */ -/*   background: rgb(226,235,243); */ +  margin: 0.5em 5em 0.5em 3em;    background: rgb(229,237,244); -  margin-left: 1em; -  margin-right: 1em;  }  code { /* background: #f0f0f0; */ } @@ -107,9 +88,20 @@ code { /* background: #f0f0f0; */ }    padding: 0.2em 0.5em;  } +.doc p, .doc pre { +  margin-top: 1em; +} +  .keyword { font-weight: bold; }  .def { font-weight: bold; } +img.coll { +	width : 0.75em; +	height: 0.75em; +	margin: 0 0.5em 0 0; +} + +  /* @end */  /* @group Page Structure */ @@ -202,10 +194,10 @@ div#style-menu-holder {    float: right;    background: rgb(239,238,209);    border: 1px solid rgba(196,69,29,0.2); -  font-size: 70%; +  font-size: 75%;    padding: 0.5em 1em;    position: relative; -  top: -5em; +  top: 0em; /* use -5em to pull up into title area */    margin: 0 0 1em 1em;  } @@ -251,10 +243,25 @@ div#style-menu-holder {    border-top: 1px solid #ccc;  } +/* @group Left Margin */ +  .subs, .doc { -	padding-left: 2em; +  /* use this selector for one level of indent */ +  padding-left: 2em;  } +/* use these two for two levels of indent */ +/* +#description .doc, #interface div.top { +  padding-left: 1.25em; +} + +div.top .subs, div.top .doc { +  padding-left: 1.875em; +} +*/ +/* @end */ +  .fields .caption { display: none; }  .fields p { margin: 0 0; } @@ -332,4 +339,4 @@ div#style-menu-holder {    float: right;  } -/* @end */
\ No newline at end of file +/* @end */  | 
