Difference between revisions of "MediaWiki:Common.css"

/* CSS placed here will be applied to all skins */

button.run {
	background-image: linear-gradient(to bottom, #337AB7 0px, #265A88 100%);
	background-color: #306AA0;
	border-radius: 6px;
	border-color: #245580;
	border-width: 1px;
	color: #FFF;
	cursor: pointer;
	font-size: 18px;
	line-height: 1.3;
	padding: 5px 8px;
}
button.other {
	border-radius: 0.5ex;
	cursor: pointer;
	display: inline;
	border: 1px solid;
        float: right;
        margin-left: 0.25em;
	padding: 0.5ex;
}
div.res.waiting{
   background-image: url(http://sqlzoo.net/design/ajax-loader.gif);
   background-repeat: no-repeat;
   background-position: center center;
}
pre{
    white-space: pre-wrap;       /* CSS 3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
}
span.id{font-size:300%;padding-right:1ex}
textarea{
    margin: 1em 0;
    min-height: 120px;
}
.strong{
  font-weight:bold;
}
.tease {
    color: #1D365D;
    font-style: italic;
    cursor: pointer;
    padding: 0.2ex;
}
.q{
    border-top: thin solid #ee8301;
    margin-bottom: 9em;
}
.q .ans, .q .def, .q .res{
    font-weight: normal;
    display: none;
}
.q .res{
    background: #dae5d9;
    border: solid thin black;
    border-radius: 0.5ex;
    border-style: inset;
    border-width: 1px;
    box-shadow: 1px 1px 3px #3b434e;
    color: #3b434e;
    height: 10em;
    margin-top: 1ex;
    max-width: 100%;
    min-height: 250px;
    overflow: auto;
    padding: 1em;
    resize: both;
}