gardener, Interface administrators, Administrators
3,893
edits
Changes
Jump to navigation
Jump to search
/*==============================================================================*//* Trial for For update of WelcomePage2020.05.25 --------------------------------------------------------------------------------*/
/*==============================================================================*//* DOWNLOAD PAGE --------------------------------------------------------------------------------*/
/*==============================================================================*//* MANUALS PAGE (with javascript filter)--------------------------------------------------------------------------------*/
add content from common.css
/* CSS placed here will affect users of the mobile site */
/*==============================================================================*/
/* from common.css, not commented but existing--------------------------------------------------------------------------------*/ /* <pre>*/ .first { background-color:#00FFFF; } .second { background-color:#CCFF66; } .third { background-color:#FF6FCF; } .fourth { background-color:#FFFF66; } .cmd { font-family:monospace; } .annot { font-family:sans-serif; margin-top:1cm; } .large { font-size: 24pt; } span.minor { font-style:italic; font-weight:normal;} #googleSearch { width: 10.9em; margin: 0; font-size: 95%;} #search_string { width: 10.9em; margin: 0; font-size: 95%;} #bodyContent a[href ^="javascript:"] { background: none; padding: 0px; text-decoration: none ;} /* pg: new markup <texcode>..</texcode> *//* th: colors adjusted to be closer to standard hans' usage */ pre.tex { color:#000000; }pre span.cs { color:#007F00; }pre span.def { color:#00007F; }pre span.comment { color:#7F7F00; }pre span.br { color:#7F0000; } pre.xml { color:#000000; }pre span.name { color:#3366BB; } /* </pre>*/ /* TWEAKS OF THE DEFAULTS --------------------------------------------------------------------------------*/
.mw-body-content h1 { margin-top: 0.5em; padding-top: 0px; margin-bottom: 0.5em;}
a:active { color: #872222; text-decoration: none;}
body.page-Main_Page h1.firstHeading { border-style: none; color:rgba(0,0,0,0); }
}
#DownloadRework {
}
ul.filter-links {
