MediaWiki:Common.css

/* CSS placed here will be applied to all skins */
@import url(//fonts.googleapis.com/css?family=Droid+Sans+Mono);

.blockhanja {
  font-family: Batang, serif;
  font-size: 3em;
  line-height: 100%;
}

div.mw-geshi {
  font-family: 'Droid Sans Mono',sans-serif;
  padding: 1em;
  margin: 1em 0; 
  border: 1px dashed #2f6fab;
/*  background-color: #f9f9f9; */
  background-color: #d7d7d7;
}

code {
  font-family: 'Droid Sans Mono',sans-serif;
  padding: 2px 4px;
  font-size: 90%;
  color: #FFF;
  background-color: #333;
  border-radius: 3px;
  box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.25);
}

span.package {
  font-family: 'Droid Sans Mono',sans-serif;
  padding: 2px 4px;
  font-size: 90%;
  color: #333;
  background-color: #ddd;
  border-radius: 3px;
  box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.25);
}

span.shell,span.path {
  white-space: nowrap;
  padding: 2px 4px;
  margin: 0;
  border: 1px solid #ddd;
  background-color: #f8f8f8;
  border-radius: 3px;
  max-width: 100%;
  display: inline-block;
  overflow: auto;
  vertical-align: middle;
  line-height: 1.3;
  font-family: 'Droid Sans Mono',sans-serif;
  font-size: 12px;
  box-sizing: border-box;
  text-shadow: none;
  background: rgba(65,131,196,0.4);
  color: #333333;
}

div.cli {
  font-family: 'Droid Sans Mono',sans-serif;
  border-radius: 3px;
  border: 1px solid #000000;
  background-color: black;
  color: white;
  padding: 0em 0.5em;
}

pre.output {
  font-family: 'Droid Sans Mono',sans-serif;
  border-radius: 3px;
  color:#cccccc;
  padding: 3px 5px;
  background-color: black;
  border:none;
}

.mw-highlight pre {
  word-wrap: normal;
  border: 0;
  background-color: #eff0f1;
  font-family: Consolas,Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace,sans-serif;
}

.mw-highlight pre .hll {
  background-color: #ffd996;
}

#toc {
  float: right;
  margin: 0 0 1em 1em;
  position: fixed;
  top: 100px;
  right: 10px;
}