<commit_before>/* -------------------------------------------------------------- 
   
   typography.css
   * Website:   http://code.google.com/p/blueprintcss/
  
   Based on work by:
   * <NAME>      [bjorkoy.com]   
   * <NAME>     [playgroundblues.com]
   * <NAME>        [jeffcroft.com]
   * <NAME>   [mintchaos.com]
   * <NAME>      [wilsonminer.com]
   * <NAME> [christianmontoya.com]
   
   Read more about using a baseline here:
   * alistapart.com/articles/settingtypeontheweb
  
-------------------------------------------------------------- */


/* This is where you set your desired font size. The line-height 
   and vertical margins are automatically calculated from this. 
   
   You have to add an extra calculation here because of IE, so that 
   all users may resize text manually in their browsers.
   
   The top one is for IE: The percentage is of 16px (default IE text size)
   10px is 62.5%, 12px is 75%, 13px is 81.25%, and so forth).
   The second value is what all other browsers see (the wanted font size). */
   
body          { font-size: 75%;  }  /* IE */
html > body   { font-size: 12px; }  /* Other browsers */


/* Default fonts and colors. */
body { 
  color: #222; 
  font-family: "Lucida Grande", "Helvetica Neue", Arial, Verdana, sans-serif; 
  line-height: 1.5; /* 150% is always a good line-height. */
}
h1,h2,h3,h4,h5,h6 { 
  color: #111; 
  font-family: "Helvetica Neue", Arial, "Lucida Grande", sans-serif; 
}


/* Headings
-------------------------------------------------------------- */

h1,h2,h3,h4,h5,h6 { clear:both; }
h1 { font-size: 3em; }
h2 { font-size: 2em; }
h3 { font-size: 1.5em; line-height:2; }
h4 { font-size: 1.2em; line-height:1.25; font-weight:bold; }
h5 { font-size: 1em; font-weight:bold; }
h6 { font-size: 1em; }


/* Text elements
-------------------------------------------------------------- */

p           { margin: 0 0 1.5em 0; text-align:justify; }
p.last      { margin-bottom:0; }
p img       { float: left; margin: 1.5em 1.5em 1.5em 0; padding:0; }
p img.top   { margin-top:0; } /* Use this if the image is at the top of the <p>. */

ul, ol      { margin: 0 0 1.5em 1.5em; }
ul          { list-style-type: circle; }
ol          { list-style-type: decimal; }
dl          { margin: 1.5em 0; }
dl dt       { font-weight: bold; }

a           { color: #009; text-decoration: underline; }
a:focus, 
a:hover     { color: #000; }


blockquote  { margin: 1.5em; color: #666; font-style: italic; }
strong      { font-weight: bold; }
em          { font-style: italic; }
pre         { margin-bottom: 1.3em; background: #eee; border:0.1em solid #ddd; padding:1.5em; }
code        { font:0.9em Consolas, "Bitstream Vera Sans Mono", "Courier New", Monaco, Courier, monospace; } 


/* Tables
-------------------------------------------------------------- */

table   { margin-bottom: 1.4em; border-top:0.1em solid #ddd; border-left:0.1em solid #ddd; }
th,td   { height: 1em; padding:0.2em 0.4em; border-bottom:0.1em solid #ddd; border-right:0.1em solid #ddd; }
th      { font-weight:bold; background:#eee; }


/* Some default classes
-------------------------------------------------------------- */

.small  { font-size: 0.8em; margin-bottom: 1.875em; line-height: 1.875em; }<commit_msg>Small changes to default fonts.<commit_after>/* -------------------------------------------------------------- 
   
   typography.css
   * Website:   http://code.google.com/p/blueprintcss/
  
   Based on work by:
   * <NAME>      [bjorkoy.com]   
   * <NAME>     [playgroundblues.com]
   * <NAME>        [jeffcroft.com]
   * <NAME>   [mintchaos.com]
   * <NAME>      [wilsonminer.com]
   * <NAME> [christianmontoya.com]
   
   Read more about using a baseline here:
   * alistapart.com/articles/settingtypeontheweb
  
-------------------------------------------------------------- */


/* This is where you set your desired font size. The line-height 
   and vertical margins are automatically calculated from this. 
   
   You have to add an extra calculation here because of IE, so that 
   all users may resize text manually in their browsers.
   
   The top one is for IE: The percentage is of 16px (default IE text size)
   10px is 62.5%, 12px is 75%, 13px is 81.25%, and so forth).
   The second value is what all other browsers see (the wanted font size). */
   
body          { font-size: 75%;  }  /* IE */
html > body   { font-size: 12px; }  /* Other browsers */


/* Default fonts and colors. */
body { 
  color: #222; 
  font-family: "Helvetica Neue", "Lucida Grande", Arial, Verdana, sans-serif; 
  line-height: 1.5;
}
h1,h2,h3,h4,h5,h6 { 
  color: #111; 
  font-family: "Helvetica Neue", Arial, "Lucida Grande", sans-serif; 
}


/* Headings
-------------------------------------------------------------- */

h1,h2,h3,h4,h5,h6 { clear:both; font-weight:normal; }
h1 { font-size: 3em; }
h2 { font-size: 2em; }
h3 { font-size: 1.5em; line-height:2; }
h4 { font-size: 1.2em; line-height:1.25; font-weight:bold; }
h5 { font-size: 1em; font-weight:bold; }
h6 { font-size: 1em; }


/* Text elements
-------------------------------------------------------------- */

p           { margin: 0 0 1.5em 0; text-align:justify; }
p.last      { margin-bottom:0; }
p img       { float: left; margin: 1.5em 1.5em 1.5em 0; padding:0; }
p img.top   { margin-top:0; } /* Use this if the image is at the top of the <p>. */

ul, ol      { margin: 0 0 1.5em 1.5em; }
ul          { list-style-type: circle; }
ol          { list-style-type: decimal; }
dl          { margin: 1.5em 0; }
dl dt       { font-weight: bold; }

a           { color: #009; text-decoration: underline; }
a:focus, 
a:hover     { color: #000; }


blockquote  { margin: 1.5em; color: #666; font-style: italic; }
strong      { font-weight: bold; }
em          { font-style: italic; }
pre         { margin-bottom: 1.3em; background: #eee; border:0.1em solid #ddd; padding:1.5em; }
code        { font:0.9em "Courier New", Monaco, Courier, monospace; } 


/* Tables
-------------------------------------------------------------- */

table   { margin-bottom: 1.4em; border-top:0.1em solid #ddd; border-left:0.1em solid #ddd; }
th,td   { height: 1em; padding:0.2em 0.4em; border-bottom:0.1em solid #ddd; border-right:0.1em solid #ddd; }
th      { font-weight:bold; background:#eee; }


/* Some default classes
-------------------------------------------------------------- */

.small  { font-size: 0.8em; margin-bottom: 1.875em; line-height: 1.875em; }
{'fraction_non_alphanumeric': 0.24476825298403349, 'fraction_numerical': 0.039838784684545034, 'mean_word_length': 1.756087142246903, 'pattern_counts': {'":': 0, '<': 17, '<?xml version=': 0, '>': 19, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2312382', 'n_tokens_mistral': 2353, 'n_tokens_neox': 2150, 'n_words': 616}