diff options
author | Benjamin Jones <bjones@galois.com> | 2012-10-30 11:48:08 -0700 |
---|---|---|
committer | Benjamin Jones <bjones@galois.com> | 2012-10-30 11:48:08 -0700 |
commit | a5bbb147b8afacedaee3881ea689c9f953f71904 (patch) | |
tree | 414a2cf4b1ed080437d0e2384630f965676e6c1c | |
parent | 37b44115d6ae992dd643fe328e92079bf3e26750 (diff) | |
parent | 7a16129e03a9b369606ec1e7d83870fcf9ea0318 (diff) |
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
-rw-r--r-- | doc/manual_src/style.css | 2 | ||||
-rw-r--r-- | tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css | 3 | ||||
-rw-r--r-- | tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css | 2 |
3 files changed, 3 insertions, 4 deletions
diff --git a/doc/manual_src/style.css b/doc/manual_src/style.css index e2e6b0c..aec68f5 100644 --- a/doc/manual_src/style.css +++ b/doc/manual_src/style.css @@ -237,7 +237,7 @@ strong {font-weight: 600;} text-decoration: underline; } -.interior h1.title { +.interior .title { font-size: 5.9375em; font-weight: 600; text-align: center; 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 97e021e..3de2dcb 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 @@ -2,7 +2,6 @@ body { font: 12px "Lucida Grande", Tahoma, Arial, Helvetica, sans-serif; - width: 800px; } .header @@ -159,4 +158,4 @@ ul.inheritsList { text-align: right; font-size: 10px; -}
\ No newline at end of file +} 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 e2e6b0c..aec68f5 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 @@ -237,7 +237,7 @@ strong {font-weight: 600;} text-decoration: underline; } -.interior h1.title { +.interior .title { font-size: 5.9375em; font-weight: 600; text-align: center; |