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.
/* CSS placed here will be applied to all skins */
body.page-Main_Page .title, body.page-Main_Page #tagline
{
display: none;
}
.tocnumber
{
display: none;
}
/* source code */
pre.code
{
color: black;
background: #eee;
border: 0.8em solid #eee;
border-radius: 6px;
}
/* terminal commands */
pre.terminal
{
color: #ffe;
background: #888;
border: 0.4em solid #888;
border-radius: 6px;
padding-left: 6px;
}