← Back to branch summary

~ubuntu-branches/ubuntu/utopic/codemirror-js/utopic

« back to all changes in this revision

Viewing changes to doc/docs.css

  • Committer: Package Import Robot
  • Author(s): David Paleino
  • Date: 2012-04-12 12:25:28 UTC
  • Revision ID: package-import@ubuntu.com-20120412122528-8xp5a8frj4h1d3ee
Tags: upstream-2.23
Import upstream version 2.23

Show diffs side-by-side

added added

removed removed

Lines of Context:
doc/docs.css
 
1
body {
 
2
  font-family: Droid Sans, Arial, sans-serif;
 
3
  line-height: 1.5;
 
4
  max-width: 64.3em;
 
5
  margin: 3em auto;
 
6
  padding: 0 1em;
 
7
}
 
8
 
 
9
h1 {
 
10
  letter-spacing: -3px;
 
11
  font-size: 3.23em;
 
12
  font-weight: bold;
 
13
  margin: 0;
 
14
}
 
15
 
 
16
h2 {
 
17
  font-size: 1.23em;
 
18
  font-weight: bold;
 
19
  margin: .5em 0;
 
20
  letter-spacing: -1px;
 
21
}
 
22
 
 
23
h3 {
 
24
  font-size: 1em;
 
25
  font-weight: bold;
 
26
  margin: .4em 0;
 
27
}
 
28
 
 
29
pre {
 
30
  background-color: #eee;
 
31
  -moz-border-radius: 6px;
 
32
  -webkit-border-radius: 6px;
 
33
  border-radius: 6px;
 
34
  padding: 1em;
 
35
}
 
36
 
 
37
pre.code {
 
38
  margin: 0 1em;
 
39
}
 
40
 
 
41
.grey {
 
42
  font-size: 2.2em;
 
43
  padding: .5em 1em;
 
44
  line-height: 1.2em;
 
45
  margin-top: .5em;
 
46
  position: relative;
 
47
}
 
48
 
 
49
img.logo {
 
50
  position: absolute;
 
51
  right: -25px;
 
52
  bottom: 4px;
 
53
}
 
54
 
 
55
a:link, a:visited, .quasilink {
 
56
  color: #df0019;
 
57
  cursor: pointer;
 
58
  text-decoration: none;
 
59
}
 
60
 
 
61
a:hover, .quasilink:hover {
 
62
  color: #800004;
 
63
}
 
64
 
 
65
h1 a:link, h1 a:visited, h1 a:hover {
 
66
  color: black;
 
67
}
 
68
 
 
69
ul {
 
70
  margin: 0;
 
71
  padding-left: 1.2em;
 
72
}
 
73
 
 
74
a.download {
 
75
  color: white;
 
76
  background-color: #df0019;
 
77
  width: 100%;
 
78
  display: block;
 
79
  text-align: center;
 
80
  font-size: 1.23em;
 
81
  font-weight: bold;
 
82
  text-decoration: none;
 
83
  -moz-border-radius: 6px;
 
84
  -webkit-border-radius: 6px;
 
85
  border-radius: 6px;
 
86
  padding: .5em 0;
 
87
  margin-bottom: 1em;
 
88
}
 
89
 
 
90
a.download:hover {
 
91
  background-color: #bb0010;
 
92
}
 
93
 
 
94
.rel {
 
95
  margin-bottom: 0;
 
96
}
 
97
 
 
98
.rel-note {
 
99
  color: #777;
 
100
  font-size: .9em;
 
101
  margin-top: .1em;
 
102
}
 
103
 
 
104
.logo-braces {
 
105
  color: #df0019;
 
106
  position: relative;
 
107
  top: -4px;
 
108
}
 
109
 
 
110
.blk {
 
111
  float: left;
 
112
}
 
113
 
 
114
.left {
 
115
  width: 37em;
 
116
  padding-right: 6.53em;
 
117
  padding-bottom: 1em;
 
118
}
 
119
 
 
120
.left1 {
 
121
  width: 15.24em;
 
122
  padding-right: 6.45em;
 
123
}
 
124
 
 
125
.left2 {
 
126
  width: 15.24em;
 
127
}
 
128
 
 
129
.right {
 
130
  width: 20.68em;
 
131
}
 
132
 
 
133
.leftbig {
 
134
  width: 42.44em;
 
135
  padding-right: 6.53em;
 
136
}
 
137
 
 
138
.rightsmall {
 
139
  width: 15.24em;
 
140
}
 
141
 
 
142
.clear:after {
 
143
  visibility: hidden;
 
144
  display: block;
 
145
  font-size: 0;
 
146
  content: " ";
 
147
  clear: both;
 
148
  height: 0;
 
149
}
 
150
.clear { display: inline-block; }
 
151
/* start commented backslash hack \*/
 
152
* html .clear { height: 1%; }
 
153
.clear { display: block; }
 
154
/* close commented backslash hack */