An error occurred while loading the file. Please try again.
-
Mark Otto authored
With the current docs directory setup, I'm making too many mistakes and have to manually address path changes and directory moves on deploy. This makes for a frustrating experience developing locally and shipping releases. With this PR, we're basically back to the same setup from v3—duplicating the dist directory into our docs directory. Not the most ideal, but very straightforward for me as the release manager.
0e920ce3
/*!
* Bootstrap Docs (http://getbootstrap.com)
* Copyright 2011-2014 Twitter, Inc.
* Licensed under the Creative Commons Attribution 3.0 Unported License. For
* details, see http://creativecommons.org/licenses/by/3.0/.
*/
.hll {
background-color: #ffffcc;
}
.c {
color: #999;
}
.err {
color: #AA0000;
background-color: #ffaaaa;
}
.k {
color: #006699;
}
.o {
color: #555555;
}
.cm {
color: #999;
}
.cp {
color: #009999;
}
.c1 {
color: #999;
}
.cs {
color: #999;
}
.gd {
background-color: #FFCCCC;
border: 1px solid #cc0000;
}
.ge {
font-style: italic;
}
.gr {
color: #ff0000;
}
.gh {
color: #003300;
}
.gi {
background-color: #CCFFCC;
border: 1px solid #00cc00;
}
.go {
color: #aaaaaa;
}
.gp {
color: #000099;
}
.gu {
color: #003300;
}
.gt {
color: #99cc66;
}
.kc {
color: #006699;
}
.kd {
color: #006699;
}
.kn {