Author: kpreisser
Date: Sat Nov 30 00:01:12 2013
New Revision: 1546665
URL: http://svn.apache.org/r1546665
Log:
Fix https://issues.apache.org/bugzilla/show_bug.cgi?id=55383
Include "Open Sans" font and use it for the documentation.
Added:
tomcat/site/trunk/docs/stylesheets/fonts/
- copied from r1546663, tomcat/trunk/webapps/docs/images/fonts/
tomcat/site/trunk/xdocs/stylesheets/fonts/
- copied from r1546663, tomcat/trunk/webapps/docs/images/fonts/
Modified:
tomcat/site/trunk/docs/stylesheets/tomcat.css
tomcat/site/trunk/xdocs/stylesheets/tomcat.css
Modified: tomcat/site/trunk/docs/stylesheets/tomcat.css
URL:
http://svn.apache.org/viewvc/tomcat/site/trunk/docs/stylesheets/tomcat.css?rev=1546665&r1=1546664&r2=1546665&view=diff
==============================================================================
--- tomcat/site/trunk/docs/stylesheets/tomcat.css (original)
+++ tomcat/site/trunk/docs/stylesheets/tomcat.css Sat Nov 30 00:01:12 2013
@@ -15,15 +15,21 @@
* limitations under the License.
*/
+/* Fonts */
+@import url("fonts/fonts.css");
/* General style */
+h1, h2, h3, h4, h5, h6, th {
+ font-weight: 600;
+}
+
body {
margin: 0;
}
body, input {
- font-family: 'Lucida Sans Unicode', Arial, Helvetica, sans-serif;
+ font-family: 'Open Sans', sans-serif;
font-size: 10.5pt;
}
Modified: tomcat/site/trunk/xdocs/stylesheets/tomcat.css
URL:
http://svn.apache.org/viewvc/tomcat/site/trunk/xdocs/stylesheets/tomcat.css?rev=1546665&r1=1546664&r2=1546665&view=diff
==============================================================================
--- tomcat/site/trunk/xdocs/stylesheets/tomcat.css (original)
+++ tomcat/site/trunk/xdocs/stylesheets/tomcat.css Sat Nov 30 00:01:12 2013
@@ -15,15 +15,21 @@
* limitations under the License.
*/
+/* Fonts */
+@import url("fonts/fonts.css");
/* General style */
+h1, h2, h3, h4, h5, h6, th {
+ font-weight: 600;
+}
+
body {
margin: 0;
}
body, input {
- font-family: 'Lucida Sans Unicode', Arial, Helvetica, sans-serif;
+ font-family: 'Open Sans', sans-serif;
font-size: 10.5pt;
}
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
