Ulric Wilfred's wiki

/* structure */
 
#side-bar {
    width: 15%;    
}
 
#main-content {
    margin-left: 17%;
}
 
/* basics */
 
h1, h2, h3, h4, h5, h6 {
    padding: 0 10px;
}
 
/* links */
 
#page-content a {
    color: #369;
    text-decoration: none;
    border-bottom: 1px dotted #999;
}
 
#page-content a:hover {
    color: #036;
    border-bottom: 1px dotted #333;
}
 
#page-content a:visited {
    color: #366;
    border-bottom: 1px dotted #333;
}
 
/* title */
 
#page-title {
    font-size: 200%;
    background-color: #ccc;
    border: 1px solid #333;
    border-bottom-width: 2px;
    border-top: none;
    color: #333;
    padding: 0.6em;
    font-family: Tahoma, Arial, Times New Roman, sans-serif;
}
 
/* elements */
 
#page-content p {
    text-align: justify;
}
 
#page-content tt {
    color: #036;
}
 
/* lists */
 
#page-content ul {
    list-style-type: circle;
}
 
#page-content ul ul {
    list-style-type: square;
}
 
#page-content ul ul ul {
    list-style-type: disc;
}
 
#page-content ul li, #page-content ol li {
    line-height: 1.5em;
}
 
/* toc */
 
#toc {
    background-color: #eee;
    border: 1px dotted #333;
}
 
#toc-list {
    padding: 15px 0;
    font-size: 90%;
}
 
#toc-list a {
    line-height:1.7em;
}
 
/* highlighting */
 
div.code {
    background-color: #efefef;
    font-size: 95%;
    border: 1px dotted #999;
}
 
div.code-example div.code {
    background-color: #d3d3d3;
}
 
div.code .hl-code, div.code .hl-brackets {
    color: #036;
}
 
div.code .hl-reserved {
    font-weight: bold;
    color: #369;
}
 
/* div.code .hl-brackets {
    color: #69c;
} */
 
div.code .hl-builtin {
    font-style: italic;
}
 
div.code .hl-quotes, div.code .hl-string {
    color: #369;
}
 
div.code .hl-comment {
    color: #9a9;
}
 
div.code .hl-types {
    font-weight: bold;
    color: #36a;
}
 
/* structure-style */ 
 
#side-bar {
    background-color: #9aa;
    border-bottom: 1px dotted #333;
    border-right: 1px dotted #333;
    color: #013;
}
 
#side-bar li a {
    border-bottom: 1px solid #899;
    border-top: 1px solid #abb;
}
 
#side-bar li a:hover {
    background-color: #abb;
    border-top: 1px solid #bcc;
    border-bottom: 1px solid #9aa;
}
 
#side-bar hr {
    background-color: #566;
    color: #677;
}
 
#side-bar .side-tree ul {
    font-size: 90%;
}
 
#side-bar .side-tree ul li {
    font-weight: bold;
}
 
#side-bar .side-tree ul li ul li {
    font-weight: normal;
}
 
#top-bar a:hover, #top-bar li a:hover, #top-bar li ul li a:hover {
    text-decoration: none;
    background-color: #688;
}
 
#top-bar li ul {
    border-color: #333;
        border-bottom-width: 2px;
}