From /

Revision as of 22:40, 29 October 2019 by Andre (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Note: After saving, 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: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
div#page-content a {
    color: #FFFFFF! !important;
} {background-color: #DE00FF !important;
border-color: #DE00FF !important;
font-weight: bold !important;
font-family: "DejaVuSansMonoBold",serif !important;


.title-name, h1,h2,h3,h4,h5 {font-family:'DejaVuSansMonoBold'!important;}

h1,h2,h3,h4,h5 {
 margin-bottom: 0.75em!important;
 margin-top: 0.75em!important;


p {
 margin-bottom: 1.5em!important;

.title-name { font-size: 1.6rem!important;}

p, li, .top-bar input {font-family:'DejaVuSansMono'!important;}

div#page-content  a {color:#DE00FF !important; }

div#page-content a:hover  { text-decoration: underline !important; }

.namespace.label { background:#DE00FF !important;}

blockquote {
    font-family: "DejaVuSans";

.title-name, h1,h2,h3,h4 {
    font-family: 'Ricasso', cursive!important;
    font-weight: regular!important;