diff options
Diffstat (limited to 'tools/jsdoc-toolkit-2.4.0/templates/fiveui/static')
3 files changed, 46 insertions, 30 deletions
diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css index 3de2dcb..b671e50 100644 --- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css +++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css @@ -1,7 +1,7 @@ /* default.css */ body { - font: 12px "Lucida Grande", Tahoma, Arial, Helvetica, sans-serif; + font: 16px "Lucida Grande", Tahoma, Arial, Helvetica, sans-serif; } .header @@ -68,16 +68,17 @@ pre.code .summaryTable { width: 100%; } -h1.classTitle -{ - font-size:170%; - line-height:130%; -} +/* h1.classTitle */ +/* { */ +/* font-size:170%; */ +/* line-height:130%; */ +/* } */ h2 { font-size: 110%; } caption, div.sectionTitle { - background-color: #7F8FB1; + /* background-color: #7F8FB1; */ + background-color: #366689; color: #fff; font-size:130%; text-align: left; @@ -106,22 +107,22 @@ div.sectionTitle { margin-bottom: 8px; } td.attributes, .fixedFont { - line-height: 15px; + /* line-height: 15px; */ color: #002EBE; font-family: "Courier New",Courier,monospace; - font-size: 13px; + /* font-size: 13px; */ } .summaryTable td.nameDescription { text-align: left; - font-size: 13px; - line-height: 15px; + /* font-size: 13px; */ + /* line-height: 15px; */ } .summaryTable td.nameDescription, .description { - line-height: 15px; + /* line-height: 15px; */ padding: 4px; padding-left: 4px; } @@ -136,10 +137,11 @@ ul.inheritsList } .detailList { - margin-left: 20px; - line-height: 15px; + margin-left: 20px; + /* line-height: 15px; */ } .detailList dt { margin-left: 20px; } +.detailList dd { margin-left: 50px; } .detailList .heading { diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html index 7b81904..7bfd665 100644 --- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html +++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/header.html @@ -1,2 +1,12 @@ -<div id="header"> -</div> + <header> + <div class="wrap"> + <a href="http://galoisinc.github.com/FiveUI" id="logo" title="Galois Open Source"><img src="../images/logo.png" alt="Galois" /></a> + <h2>Open Source</h2> + <nav id="primary"> + <ul> + <li><a href="http://galois.com">Company website</a></li> + <li><a href="https://github.com/GaloisInc/">Github home</a></li> + </ul> + </nav><!-- /#primary --> + </div><!-- /.wrap --> + </header> diff --git a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css index aec68f5..0c77514 100644 --- a/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css +++ b/tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css @@ -1,21 +1,25 @@ -/* Layout */ -.wrap { - width: 90%; - margin: 0 auto; -} +/* /\* Layout *\/ */ +/* .wrap { */ +/* width: 90%; */ +/* margin: 0 auto; */ +/* } */ /* Global */ -body { - font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif; - font-weight: 300; - color: #2C2C2C; -} -#content p { - font-size: 1em; - line-height: 1.125em; -} +/* body { */ +/* font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", Helvetica, Arial, "Lucida Grande", sans-serif; */ +/* font-weight: 300; */ +/* color: #2C2C2C; */ +/* } */ +/* #content { */ +/* line-height: 1.125em; */ +/* } */ + +/* #content p { */ +/* font-size: 1em; */ +/* line-height: 1.125em; */ +/* } */ /* Header */ header { background: #366689; |