Wiki

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.

@import url('https://fonts.googleapis.com/css?family=Patua+One|Open+Sans');


body {
  font-family: 'Open Sans';
  font-size: 13pt;
}


h1, h2, h3, h4, h5, h6 {
  font-family: 'Patua One';
}

h1, h2 {
  border-bottom: 1px solid #ccc;
  color: #333;
}

h3 {
  /*color: #0394a6;*/
}

.toc {
  border: 1px solid #ccc;
  border-radius: 5px;
  background-color: #f8f9fa;
  padding: 0 10px 10px 10px;
  font-size: 11pt;
}

.toc h2 {
  color: #444;
  font-size: 12pt;
}

.tocnumber {
  color: #444;
}

.toclevel-2 {
  text-indent: 15px;
}

.toclevel-3 {
  text-indent: 30px;
}


.mw-body a.external:link,
.mw-body a:link {
  /*color: #0394a6;*/
  text-decoration: underline;
}


div.toc a:link {
  text-decoration: none;
}

div.toc a:link .new {
  color: red;
}


.nav {
  font-family: 'Patua One';
}

.navbar-nav > li:first-child {
  border-right: 1px solid #ddd;
}

.navbar-default .navbar-nav > li:first-child > a {
  color: #333;
}