src/cm/media/css/site/text_view_comments/fonts.css
author Simon Descarpentries <sid@sopinspace.com>
Wed, 06 Nov 2013 19:07:25 +0100
changeset 563 163cf095f708
parent 475 782d40ecf7c3
permissions -rw-r--r--
Add compressed scripts…
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
475
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     1
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     2
  font-family: Lora;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     3
  font-weight: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     4
  font-style: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     5
  src: url('Lora-Regular.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     6
  src: local('Lora'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     7
       local('Lora Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     8
       local('Lora-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
     9
       url('Lora-Regular.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    10
       url('Lora-Regular.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    11
       url('Lora-Regular.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    12
       url('Lora-Regular.svg#LoraRegular') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    13
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    14
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    15
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    16
  font-family: 'Lora';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    17
  font-weight: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    18
  font-style: italic;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    19
  src: url('Lora-Italic.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    20
  src: local('Lora Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    21
       local('Lora-Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    22
       url('Lora-Italic.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    23
       url('Lora-Italic.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    24
       url('Lora-Italic.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    25
       url('Lora-Italic.svg#LoraItalic') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    26
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    27
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    28
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    29
  font-family: Lora;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    30
  font-weight: bold;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    31
  font-style: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    32
  src: url('Lora-Bold.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    33
  src: local('Lora Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    34
       local('Lora-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    35
       url('Lora-Bold.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    36
       url('Lora-Bold.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    37
       url('Lora-Bold.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    38
       url('Lora-Bold.svg#LoraBold') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    39
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    40
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    41
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    42
  font-family: 'Lora';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    43
  font-weight: bold;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    44
  font-style: italic;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    45
  src: url('Lora-BoldItalic.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    46
  src: local('Lora BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    47
       local('Lora-BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    48
       url('Lora-BoldItalic.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    49
       url('Lora-BoldItalic.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    50
       url('Lora-BoldItalic.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    51
       url('Lora-BoldItalic.svg#LoraBoldItalic') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    52
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    53
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    54
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    55
  font-family: 'PT Sans';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    56
  font-weight: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    57
  font-style: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    58
  src: url('PT_Sans-Regular.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    59
  src: local('PTSans'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    60
       local('PT Sans'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    61
       local('PT-Sans'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    62
       local('PTSans Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    63
       local('PT Sans Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    64
       local('PT-Sans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    65
       local('PTSans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    66
       local('PT Sans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    67
       local('PT-Sans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    68
       url('PT_Sans-Regular.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    69
       url('PT_Sans-Regular.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    70
       url('PT_Sans-Regular.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    71
       url('PT_Sans-Regular.svg#PTSansRegular') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    72
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    73
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    74
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    75
  font-family: 'PT Sans';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    76
  font-weight: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    77
  font-style: italic;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    78
  src: url('PT_Sans-Italic.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    79
  src: local('PTSans Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    80
       local('PT Sans Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    81
       local('PT-Sans Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    82
       local('PTSans-Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    83
       local('PT Sans-Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    84
       local('PT-Sans-Italic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    85
       url('PT_Sans-Italic.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    86
       url('PT_Sans-Italic.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    87
       url('PT_Sans-Italic.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    88
       url('PT_Sans-Italic.svg#PTSansItalic') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    89
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    90
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    91
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    92
  font-family: 'PT Sans';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    93
  font-weight: bold;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    94
  font-style: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    95
  src: url('PT_Sans-Bold.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    96
  src: local('PTSans Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    97
       local('PT Sans Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    98
       local('PT-Sans Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
    99
       local('PTSans-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   100
       local('PT Sans-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   101
       local('PT-Sans-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   102
       url('PT_Sans-Bold.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   103
       url('PT_Sans-Bold.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   104
       url('PT_Sans-Bold.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   105
       url('PT_Sans-Bold.svg#PTSansBold') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   106
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   107
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   108
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   109
  font-family: 'PT Sans';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   110
  font-weight: bold;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   111
  font-style: italic;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   112
  src: url('PT_Sans-BoldItalic.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   113
  src: local('PTSans BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   114
       local('PT Sans BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   115
       local('PT-Sans BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   116
       local('PTSans-BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   117
       local('PT Sans-BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   118
       local('PT-Sans-BoldItalic'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   119
       url('PT_Sans-BoldItalic.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   120
       url('PT_Sans-BoldItalic.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   121
       url('PT_Sans-BoldItalic.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   122
       url('PT_Sans-BoldItalic.svg#PTSansBoldItalic') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   123
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   124
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   125
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   126
  font-family: 'Droid Sans';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   127
  font-weight: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   128
  font-style: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   129
  src: url('Droid_Sans-Regular.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   130
  src: local('Droid'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   131
       local('DroidSans'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   132
       local('Droid Sans'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   133
       local('Droid-Sans'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   134
       local('Droid Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   135
       local('DroidSans Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   136
       local('Droid Sans Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   137
       local('Droid-Sans Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   138
       local('Droid-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   139
       local('DroidSans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   140
       local('Droid Sans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   141
       local('Droid-Sans-Regular'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   142
       url('Droid_Sans-Regular.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   143
       url('Droid_Sans-Regular.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   144
       url('Droid_Sans-Regular.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   145
       url('Droid_Sans-Regular.svg#DroidSansRegular') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   146
}
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   147
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   148
@font-face {
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   149
  font-family: 'Droid Sans';
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   150
  font-weight: bold;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   151
  font-style: normal;
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   152
  src: url('Droid_Sans-Bold.eot');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   153
  src: local('Droid Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   154
       local('DroidSans Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   155
       local('Droid Sans Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   156
       local('Droid-Sans Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   157
       local('Droid-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   158
       local('DroidSans-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   159
       local('Droid Sans-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   160
       local('Droid-Sans-Bold'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   161
       url('Droid_Sans-Bold.eot?#iefix') format('embedded-opentype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   162
       url('Droid_Sans-Bold.woff') format('woff'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   163
       url('Droid_Sans-Bold.ttf') format('truetype'),
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   164
       url('Droid_Sans-Bold.svg#DroidSansBold') format('svg');
782d40ecf7c3 New fonts.
gibus
parents:
diff changeset
   165
}