pre {
font-family: fixedsys;
border: solid #C0C0C0;
}
body {
font-size: 8pt;
font-family: Trebuchet MS, Verdana, Tahoma, Arial;
}
/* change the logo */
#p-logo a { background: url(http://en.wikipedia.org/upload/9/9e/Wikipedia-Danny_B-%29.gif) no-repeat !important; }
#body.ns-0 {
scrollbar-face-color:#66CCFF;
scrollbar-highlight-color:#000080;
scrollbar-3dlight-color:#EEEEEE;
scrollbar-darkshadow-color:#EEEEEE;
scrollbar-shadow-color:#000080;
scrollbar-arrow-color:#000080;
scrollbar-track-color:#EEEEEE;
}
/* change border colour of selected tabs */
#p-cactions li.selected { border-color: #000080; border: 2px;}
/* style the search box and the buttons below it */
input.searchButton {
font-family: Tahoma;
color: #000080;
font-weight: bold;
height: 18pt;
}
#searchInput {
font-family: Verdana;
text-align: center;
font-weight: bold;
}
/* Section 2: Transform the user toolbar into a sidebox */
#p-personal {
position:relative;
z-index:3;
width: 11.6em;
}
#p-personal .pBody {
width: 10.8em;
border: none;
margin: 0 0 0.5em 0em;
float: none;
overflow: hidden;
font-size: 95%;
background: White;
border-collapse: collapse;
border: 1px solid #aaaaaa;
padding: 0 0.8em 0.3em .5em;
}
#p-personal ul {
/* line-height: 1.5em; */
list-style-type: square;
list-style-image: url("/style/monobook/bullet.gif");
font-size:95%;
margin: 0 0 0 1.5em;
padding:0;
text-align:left;
text-transform: none;
}
#p-personal li {
display: list-item;
padding:0;
margin: 0 0 0 0;
/* margin-bottom: 0.1em; */
}
#p-personal h5 {
display: inline;
padding: 0em 1em 0em 0.5em;
}
#mytabs {
width: 100%;
position: static;
margin-left: 14em;
white-space:nowrap;
line-height: 1.2em;
overflow: hidden;
border-collapse: collapse;
list-style: none;
font-size: 95%;
}
a.external { target: _blank; }
/* don't use a smaller font */
td.diff-addedline, td.diff-deletedline, td.diff-context { font-size: 100% };
/* make a few corners round, only supported by moz/firefox/other gecko browsers for now */
#p-cactions ul li, #p-cactions ul li a {
-moz-border-radius-topleft: 1em;
-moz-border-radius-topright: 1em;
}
#content {
-moz-border-radius-topleft: 1em;
-moz-border-radius-bottomleft: 1em;
}
div.pBody {
-moz-border-radius-topright: 1em;
-moz-border-radius-bottomright: 1em;
}
/* same following the css3 draft specs, any browsers supporting this? */
#p-cactions ul li, #p-cactions ul li a {
border-radius-topleft: 1em;
border-radius-topright: 1em;
}
#content {
border-radius-topleft: 1em;
border-radius-bottomleft: 1em;
}
div.pBody {
border-radius-topright: 1em;
border-radius-bottomright: 1em;
}