9f0fcb5e2b
Themes are no longer namespaced into a themes folder.
134 lines
No EOL
1.8 KiB
CSS
134 lines
No EOL
1.8 KiB
CSS
/*
|
|
* Derived from einaros's Sons of Obsidian theme at
|
|
* http://studiostyl.es/schemes/son-of-obsidian by
|
|
* Alex Ford of CodeTunnel:
|
|
* http://CodeTunnel.com/blog/post/71/google-code-prettify-obsidian-theme
|
|
*/
|
|
|
|
.str
|
|
{
|
|
color: #EC7600;
|
|
}
|
|
.kwd
|
|
{
|
|
color: #93C763;
|
|
}
|
|
.com
|
|
{
|
|
color: #66747B;
|
|
}
|
|
.typ
|
|
{
|
|
color: #678CB1;
|
|
}
|
|
.lit
|
|
{
|
|
color: #FACD22;
|
|
}
|
|
.pun
|
|
{
|
|
color: #F1F2F3;
|
|
}
|
|
.pln
|
|
{
|
|
color: #F1F2F3;
|
|
}
|
|
.tag
|
|
{
|
|
color: #8AC763;
|
|
}
|
|
.atn
|
|
{
|
|
color: #E0E2E4;
|
|
}
|
|
.atv
|
|
{
|
|
color: #EC7600;
|
|
}
|
|
.dec
|
|
{
|
|
color: purple;
|
|
}
|
|
pre.prettyprint
|
|
{
|
|
border: 0px solid #888;
|
|
}
|
|
ol.linenums
|
|
{
|
|
margin-top: 0;
|
|
margin-bottom: 0;
|
|
}
|
|
.prettyprint {
|
|
background: #000;
|
|
}
|
|
li.L0, li.L1, li.L2, li.L3, li.L4, li.L5, li.L6, li.L7, li.L8, li.L9
|
|
{
|
|
color: #555;
|
|
}
|
|
li.L1, li.L3, li.L5, li.L7, li.L9 {
|
|
background: #111;
|
|
}
|
|
@media print
|
|
{
|
|
.str
|
|
{
|
|
color: #060;
|
|
}
|
|
.kwd
|
|
{
|
|
color: #006;
|
|
font-weight: bold;
|
|
}
|
|
.com
|
|
{
|
|
color: #600;
|
|
font-style: italic;
|
|
}
|
|
.typ
|
|
{
|
|
color: #404;
|
|
font-weight: bold;
|
|
}
|
|
.lit
|
|
{
|
|
color: #044;
|
|
}
|
|
.pun
|
|
{
|
|
color: #440;
|
|
}
|
|
.pln
|
|
{
|
|
color: #000;
|
|
}
|
|
.tag
|
|
{
|
|
color: #006;
|
|
font-weight: bold;
|
|
}
|
|
.atn
|
|
{
|
|
color: #404;
|
|
}
|
|
.atv
|
|
{
|
|
color: #060;
|
|
}
|
|
}
|
|
|
|
|
|
.prettyprint.linenums {
|
|
-webkit-box-shadow: inset 40px 0 0 #333, inset 41px 0 0 #222;
|
|
-moz-box-shadow: inset 40px 0 0 #333, inset 41px 0 0 #222;
|
|
box-shadow: inset 40px 0 0 #333, inset 41px 0 0 #222;
|
|
}
|
|
|
|
/* Specify class=linenums on a pre to get line numbering */
|
|
ol.linenums {
|
|
margin: 0 0 0 33px; /* IE indents via margin-left */
|
|
}
|
|
ol.linenums li {
|
|
padding-left: 12px;
|
|
color: #888;
|
|
line-height: 18px;
|
|
} |