jiuyuan
/
test_ok1
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

doc: Moved font family attributes into variables

This commit is contained in:
Tobias Bieniek 2013-12-12 19:29:28 +01:00
parent 00b00ff931
commit b9b44bb87c
1 changed files with 32 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
doc/en/_themes/flask/static/flasky.css_t
View File

@ -8,13 +8,15 @@
{% set page_width = '940px' %} {% set page_width = '940px' %}
{% set sidebar_width = '220px' %} {% set sidebar_width = '220px' %}
{% set base_font = '"Georgia", serif' %}
{% set header_font = '"Garamond", "Georgia", serif' %}
@import url("basic.css"); @import url("basic.css");
/* -- page layout ----------------------------------------------------------- */ /* -- page layout ----------------------------------------------------------- */
body { body {
font-family: 'Georgia', serif; font-family: {{ base_font }};
font-size: 17px; font-size: 17px;
background-color: white; background-color: white;
color: #000; color: #000;
@ -98,7 +100,7 @@ div.sphinxsidebarwrapper p.logo {
div.sphinxsidebar h3, div.sphinxsidebar h3,
div.sphinxsidebar h4 { div.sphinxsidebar h4 {
font-family: 'Garamond', 'Georgia', serif; font-family: {{ header_font }};
color: #444; color: #444;
font-size: 24px; font-size: 24px;
font-weight: normal; font-weight: normal;
@ -134,7 +136,7 @@ div.sphinxsidebar ul {
div.sphinxsidebar input { div.sphinxsidebar input {
border: 1px solid #ccc; border: 1px solid #ccc;
font-family: 'Georgia', serif; font-family: {{ base_font }};
font-size: 1em; font-size: 1em;
} }
@ -156,7 +158,7 @@ div.body h3,
div.body h4, div.body h4,
div.body h5, div.body h5,
div.body h6 { div.body h6 {
font-family: 'Garamond', 'Georgia', serif; font-family: {{ header_font }};
font-weight: normal; font-weight: normal;
margin: 30px 0px 10px 0px; margin: 30px 0px 10px 0px;
padding: 0; padding: 0;
@ -209,7 +211,7 @@ dd div.admonition {
} }
div.admonition p.admonition-title { div.admonition p.admonition-title {
font-family: 'Garamond', 'Georgia', serif; font-family: {{ header_font }};
font-weight: normal; font-weight: normal;
font-size: 24px; font-size: 24px;
margin: 0 0 10px 0; margin: 0 0 10px 0;