Difference between revisions of "MediaWiki:Common.js"

Revision as of 22:53, 19 July 2012

/* Any JavaScript here will be loaded for all users on every page load.*/
// loads the edittool page
var load_edittools = true;

 
// extra drop down menu on editing for adding special characters
//importScript('MediaWiki:SelectCategory.js')
//importScript('MediaWiki:Edittools.js')

/**
 * Styling for links generated by [[MediaWiki:Edittools]]
 * @source www.mediawiki.org/wiki/Extension:CharInsert#Styling
 * @updated 2012-02-29
 */
.mw-charinsert-buttons {
        margin-top: 10px;
        border: 1px solid #aaaaaa;
        padding: 1px;
        text-align: center;
        font-size: 110%;
}
.mw-charinsert-buttons a {
        color: black;
        background-color: #cde !important;
        font-weight: bold;
        font-size: .9em;
        text-decoration: none;
        border: thin #069 outset;
        padding: 0 .1em .1em;
}
.mw-charinsert-buttons a:hover,
.mw-charinsert-buttons a:active {
        background-color: #bcd;
        border-style: inset;
}
.client-js .mw-edittools-section {
        display: inline;
}
.client-js .mw-edittools-section input[type="button"] {
        font-size: 0.9em;
        padding-left: 1px;
        padding-right: 1px;
        margin-left: 1px;
}