Difference between revisions of "MediaWiki:Common.css"

Revision as of 13:40, 27 May 2020

/* 
<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> */

pre.tex { color:#000000;  }
pre span.cs { color:#0000FF; }
pre span.def { color:#FF0000; }
pre span.comment { color:#333333; }
pre span.br { color:red; }

pre.xml { color:#000000;  }
pre span.name    { color:blue; }

/* 
</pre>
*/


/* Trial for update of WelcomePage2020.05.25


.filter-links {
  margin: 0;
  padding: 0;
  list-style: none;
  display: block;
  width: 100%;
  height:auto;
  overflow: hidden;
  background: white;
  border-bottom:1px solid #E4D7D7;
}

.filter-links li {
  display: inline;
  float: left;
}

.filter-links li a {
  display: block;
  color: black;
  padding: 1em 2em;
  text-decoration: none;
}

.filter-links li a:hover {
  color: red;
}

.filter-sections {
  width: 100%;
  display: block;
  overflow: hidden;
}

.filter-sections div {
  opacity: 0;
  display: none;
  min-height: 50px;
  margin: 0.5em;
  text-align: center;
  padding: 2em 1em;
  float: left;
  transition: all 500s ease;
}

.view {
  display: block !important;
  opacity: 1 !important;
  transform: scale(1) rotate(0deg);
  border-radius:4px;
  animation: selected 300ms 1 ease-in-out;
}

@keyframes selected {
  0% {
    border-radius:100%;
    transform: scale(0) rotate(-180deg);
  }
}

.javascript{
  background-color:yellow;
  color:black;
}
.html{
  background:blue;
  color:white;
}
.css{
  background:red;
  color:white;
}
.php{
  background:brown;
  color:white;
}