aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-10-30 11:48:08 -0700
committerGravatar Benjamin Jones <bjones@galois.com>2012-10-30 11:48:08 -0700
commita5bbb147b8afacedaee3881ea689c9f953f71904 (patch)
tree414a2cf4b1ed080437d0e2384630f965676e6c1c
parent37b44115d6ae992dd643fe328e92079bf3e26750 (diff)
parent7a16129e03a9b369606ec1e7d83870fcf9ea0318 (diff)
Merge branch 'master' of src.galois.com:/srv/git/FiveUI
-rw-r--r--doc/manual_src/style.css2
-rw-r--r--tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/default.css3
-rw-r--r--tools/jsdoc-toolkit-2.4.0/templates/fiveui/static/style.css2
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;