Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit ead82fe

Browse files
jeremylongjeremylong
committed
documentation v1.2.1
1 parent 97f01f4 commit ead82fe

File tree

438 files changed

+51736
-39756
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

438 files changed

+51736
-39756
lines changed

‎checkstyle-aggregate.html

+329-789
Large diffs are not rendered by default.

‎checkstyle.rss

+42-42
Large diffs are not rendered by default.

‎css/bootswatch.css

+70
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,70 @@
1+
body {
2+
padding-top: 80px;
3+
padding-bottom: 20px;
4+
}
5+
6+
.navbar a > i {
7+
opacity: 0.5;
8+
}
9+
10+
.navbar a:hover > i {
11+
opacity: 1;
12+
}
13+
14+
.subhead {
15+
padding-bottom: 0;
16+
margin-bottom: 9px;
17+
}
18+
19+
.subhead h1 {
20+
font-size: 54px;
21+
}
22+
23+
24+
@media (max-width: 480px) {
25+
26+
.modal {
27+
position: fixed !important;
28+
top: 25% !important;
29+
}
30+
}
31+
32+
33+
@media (max-width: 767px) {
34+
35+
body {
36+
padding-top: 0;
37+
}
38+
}
39+
40+
/* Portrait tablet to landscape and desktop */
41+
@media (min-width: 768px) and (max-width: 979px) {
42+
43+
.thumbnail p {
44+
font-size: 12px;
45+
}
46+
47+
.thumbnail .btn {
48+
padding: 8px 12px;
49+
font-size: 12px;
50+
}
51+
}
52+
53+
@media (min-width: 768px) and (max-width: 979px) {
54+
55+
/* Remove any padding from the body */
56+
body {
57+
padding-top: 0;
58+
}
59+
}
60+
61+
@media (max-width: 980px) {
62+
63+
/* Unfloat brand */
64+
.navbar-fixed-top .brand {
65+
float: left;
66+
margin-left: 0;
67+
padding-left: 10px;
68+
padding-right: 10px;
69+
}
70+
}

‎css/docs.css

+150
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,150 @@
1+
/* Add additional stylesheets below
2+
-------------------------------------------------- */
3+
/*
4+
Bootstrap's documentation styles
5+
Special styles for presenting Bootstrap's documentation and examples
6+
*/
7+
8+
/* Body and structure
9+
-------------------------------------------------- */
10+
11+
body {
12+
position: relative;
13+
padding-top: 40px;
14+
}
15+
16+
/* Code in headings */
17+
h3 code {
18+
font-size: 14px;
19+
font-weight: normal;
20+
}
21+
22+
/* Jumbotrons
23+
-------------------------------------------------- */
24+
.jumbotron {
25+
position: relative;
26+
padding: 40px 0;
27+
}
28+
.jumbotron h1 {
29+
font-size: 80px;
30+
font-weight: bold;
31+
letter-spacing: -1px;
32+
line-height: 1;
33+
}
34+
.jumbotron p {
35+
font-size: 24px;
36+
font-weight: 300;
37+
line-height: 30px;
38+
margin-bottom: 30px;
39+
}
40+
.jumbotron .btn-large {
41+
font-size: 20px;
42+
font-weight: normal;
43+
padding: 14px 24px;
44+
margin-right: 10px;
45+
-webkit-border-radius: 6px;
46+
-moz-border-radius: 6px;
47+
border-radius: 6px;
48+
}
49+
.jumbotron .btn-large small {
50+
font-size: 14px;
51+
}
52+
53+
54+
/* Specific jumbotrons
55+
------------------------- */
56+
/* supporting docs pages */
57+
.subhead {
58+
padding-bottom: 0;
59+
margin-bottom: 9px;
60+
}
61+
.subhead h1 {
62+
font-size: 54px;
63+
}
64+
65+
/* Responsive Docs
66+
-------------------------------------------------- */
67+
@media (max-width: 480px) {
68+
69+
/* Reduce padding above jumbotron */
70+
body {
71+
padding-top: 70px;
72+
}
73+
74+
/* Adjust the jumbotron */
75+
.jumbotron h1,
76+
.jumbotron p {
77+
text-align: center;
78+
margin-right: 0;
79+
}
80+
.jumbotron h1 {
81+
font-size: 45px;
82+
margin-right: 0;
83+
}
84+
.jumbotron p {
85+
margin-right: 0;
86+
margin-left: 0;
87+
font-size: 18px;
88+
line-height: 24px;
89+
}
90+
.jumbotron .btn {
91+
display: block;
92+
font-size: 18px;
93+
padding: 10px 14px;
94+
margin: 0 auto 10px;
95+
}
96+
97+
}
98+
99+
100+
@media (max-width: 768px) {
101+
102+
/* Remove any padding from the body */
103+
body {
104+
padding-top: 0;
105+
}
106+
107+
/* Jumbotron buttons */
108+
.jumbotron .btn {
109+
margin-bottom: 10px;
110+
}
111+
}
112+
113+
114+
@media (min-width: 480px) and (max-width: 768px) {
115+
116+
/* Scale down the jumbotron content */
117+
.jumbotron h1 {
118+
font-size: 54px;
119+
}
120+
.jumbotron p {
121+
margin-right: 0;
122+
margin-left: 0;
123+
}
124+
}
125+
126+
127+
@media (min-width: 768px) and (max-width: 980px) {
128+
129+
/* Remove any padding from the body */
130+
body {
131+
padding-top: 0;
132+
}
133+
134+
/* Scale down the jumbotron content */
135+
.jumbotron h1 {
136+
font-size: 72px;
137+
}
138+
}
139+
140+
141+
@media (max-width: 980px) {
142+
143+
/* Unfloat brand */
144+
.navbar-fixed-top .brand {
145+
float: left;
146+
margin-left: 0;
147+
padding-left: 10px;
148+
padding-right: 10px;
149+
}
150+
}

0 commit comments

Comments
 (0)