##// END OF EJS Templates
Second step in two-part process to rename directories....
Second step in two-part process to rename directories. This is the actual directory rename.

File last commit:

r4187:d1addaf7 kallithea-2.2.5-r...
r4187:d1addaf7 kallithea-2.2.5-r...
Show More
tiki.css
26 lines | 471 B | text/css | CssLexer
.cm-tw-syntaxerror {
color: #FFF;
background-color: #900;
}
.cm-tw-deleted {
text-decoration: line-through;
}
.cm-tw-header5 {
font-weight: bold;
}
.cm-tw-listitem:first-child { /*Added first child to fix duplicate padding when highlighting*/
padding-left: 10px;
}
.cm-tw-box {
border-top-width: 0px ! important;
border-style: solid;
border-width: 1px;
border-color: inherit;
}
.cm-tw-underline {
text-decoration: underline;
}