MediaWiki:Common.css: Difference between revisions

From MediaWiki
Jump to navigationJump to search
No edit summary
No edit summary
Line 31: Line 31:
   color: yellow;
   color: yellow;
   background-color: black;
   background-color: black;
   padding: 0px;
   padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 0.5%;
  padding-right: 0px;
   margin: 0px;
   margin: 0px;
   border-style: none;
   border-style: none;
Line 39: Line 42:
   color: #33FF33;
   color: #33FF33;
   background-color: black;
   background-color: black;
   padding-top: 0px;
   padding: 0px;
  padding-bottom: 0px;
  padding-left: 1%;
  padding-right: 0px;
}
}


Line 50: Line 50:
   padding-top: 0px;
   padding-top: 0px;
   padding-bottom: 0px;
   padding-bottom: 0px;
   padding-left: 1%;
   padding-left: 0.5%;
   padding-right: 0px;
   padding-right: 0px;
   font-size: 100%;
   font-size: 100%;

Revision as of 00:53, 3 March 2007

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

/* Classes for rendering computer screen output. */

.screen {
  background-color: black;
  color: #33FF33;
  line-height: 1.2em;
  border-style: solid;
  border-width: 4px;
  border-color: #a9a9a9;
  padding-top: 0px;
  padding-bottom: 1%;
  padding-left: 0px;
  padding-right: 0px;
}

.screenTitle {
  background-color: #6fbad2;
  color: black;
  font-weight: bold;
  font-size: 105%;
  padding: 0.5%;
  margin-bottom: 1%;
}

.userInput {
  font-size: 100%;
  font-family: monospace;
  font-weight: bold;
  color: yellow;
  background-color: black;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 0.5%;
  padding-right: 0px;
  margin: 0px;
  border-style: none;
}

.prompt {
  color: #33FF33;
  background-color: black;
  padding: 0px;
}

.computerOutput {
  white-space: pre;
  margin: 0px;
  padding-top: 0px;
  padding-bottom: 0px;
  padding-left: 0.5%;
  padding-right: 0px;
  font-size: 100%;
  line-height: 1.2em;
  color: #33FF33;
  background-color: black;
  border-style: none;
}

/* For program listings. */

.programListing {

}