MediaWiki:Common.css

Note: After publishing, you may have to bypass your browser's cache to see the changes.

• Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
• Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
• Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
• Opera: Press Ctrl-F5.

/*
 * Global styles
 * Sync with MediaWiki:Mobile.css
 */

.infobox {
  width: 256px;
  background-color: #f9f9f9;
  border: 2px solid #808080;
  border-radius: 10px;
  box-shadow: 0px -6px #0004 inset;
  padding: 0.4em 0.4em 1em;
  font-size: 90%;
  line-height: 1.5em;
  float: right;
  clear: right;
  margin: 0 0 1em 1em;
}

.infobox-title {
  font-size: 140%;
  font-weight: bold;
  text-align: center;
  padding: 5px;
  border-bottom: 2px solid #a2a9b1;
}

.infobox-image {
  text-align: center;
  margin: 5px 0;
}

.infobox-caption {
  font-size: 90%;
  text-align: center;
  padding: 2px 5px;
}

.infobox-table {
  width: 100%;
  border-collapse: collapse;
}

.infobox-header th {
  background-color: #e6e6e6;
  font-weight: bold;
  text-align: left;
  padding: 5px;
  border-bottom: 1px solid #a2a9b1;
}

.infobox-row td {
  padding: 2px 5px;
  border-bottom: 1px solid #f2f2f2;
}

.infobox-label {
  font-weight: bold;
  background-color: #f2f2f2;
}

.port-rectangle {
  display: inline-block;
  width: 1em;
  height: 1em;
  background-color: #000000;
  vertical-align: baseline;
}

.port-rectangle-execution {
  background-color: #FFE640;
}

.port-rectangle-number {
  background-color: #00DCFF;
}

.port-rectangle-vector {
  background-color: #00FF80;
}

.port-rectangle-rotation {
  background-color: #FF8040;
}

.port-rectangle-truth {
  background-color: #FF4040;
}

.port-rectangle-object {
  background-color: #FF80C0;
}

.port-rectangle-constraint {
  background-color: #A0AAC8;
}

.main-column-box {
  border: 3px solid #000;
  border-radius: 20px;
  box-shadow: 0px -10px #0004 inset;
  flex: 1 1 30%;
  margin-bottom: 0.4em;
  padding: 0.4em 0.4em 1em;
}

.main-welcome-box {
  background-color: #f9f9f9;
  border: 3px solid #202020;
  border-radius: 20px;
  box-shadow: 0px -10px #0004 inset;
  margin-bottom: 0.4em;
  padding: 0.4em 0.4em 1em;
  display: grid;
  grid-template-columns: auto auto;
  grid-column-gap: 0.4em;
}

.main-image {
  text-align: center;
  border-right: inherit;
}

@media only screen and (max-width: 600px) {
  .main-welcome-box {
    grid-template-columns: auto;
  }

  .main-image {
    border-right: none;
    border-bottom: inherit;
  }
}