This page (revision-14) was last changed on 26-Mar-2025 20:15 by Administrator

This page was created on 26-Mar-2025 16:13 by Administrator

Only authorized users are allowed to rename pages.

Only authorized users are allowed to delete pages.

Page revision history

Version Date Modified Size Author Changes ... Change note
14 26-Mar-2025 20:15 2 KB Administrator to previous
13 26-Mar-2025 19:49 2 KB Administrator to previous | to last
12 26-Mar-2025 19:41 2 KB Administrator to previous | to last
11 26-Mar-2025 17:37 2 KB Administrator to previous | to last
10 26-Mar-2025 17:29 2 KB Administrator to previous | to last
9 26-Mar-2025 17:12 1 KB Administrator to previous | to last
8 26-Mar-2025 17:06 1 KB Administrator to previous | to last
7 26-Mar-2025 16:55 1 KB Administrator to previous | to last
6 26-Mar-2025 16:45 1 KB Administrator to previous | to last
5 26-Mar-2025 16:36 2 KB Administrator to previous | to last
4 26-Mar-2025 16:31 2 KB Administrator to previous | to last EncyclopaediaTheme ==> CSSThemeEncyclopaedia
3 26-Mar-2025 16:21 2 KB Administrator to previous | to last
2 26-Mar-2025 16:15 2 KB Administrator to previous | to last
1 26-Mar-2025 16:13 2 KB Administrator to last

Page References

Incoming links Outgoing links

Version management

Difference between version and

At line 1 changed 3 lines
%%add-css
html {
/* Encyclopaedia-inspired theme for Haddock template */
/* Encyclopaedia-inspired theme for Haddock template */
body div.page-content {
At line 8 changed one line
html h1, html h2, html h3, html h4, html h5, html h6 {
h1, h2, h3, h4, h5, h6 {
At line 12 changed one line
html a:not(.logo):not(.btn) {
a:not(.logo):not(.btn) {
At line 15 changed one line
html a:not(.logo):not(.btn):visited {
a:not(.logo):not(.btn):visited {
At line 19 changed 2 lines
html div.header {
background: #666666 !important; /* Medium gray header */
div.header {
background: #666666 !important; /* Lighter gray header */
At line 23 changed one line
html div.header .titlebox {
div.header .titlebox {
At line 26 changed one line
html div.header .titlebox .title-text {
div.header .titlebox .title-text {
At line 31 changed one line
html div.header .titlebox .small, html div.header .titlebox .small a {
div.header .titlebox .small, div.header .titlebox .small a {
At line 34 changed one line
html div.header .topline, html div.header .navigation {
div.header .topline, div.header .navigation {
At line 38 changed 2 lines
html div.sidebar div.leftmenu div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar (LeftMenu) */
div.sidebar div.leftmenu div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar */
At line 42 changed one line
html div.sidebar div.leftmenu div.collapse a.wikipage {
div.sidebar div.leftmenu div.collapse a.wikipage {
At line 45 changed one line
html div.sidebar div.leftmenu div.collapse a.wikipage:visited {
div.sidebar div.leftmenu div.collapse a.wikipage:visited {
At line 49 changed 12 lines
html div.sidebar div.leftmenufooter div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar (LeftMenuFooter) */
color: #333333 !important;
}
html div.sidebar div.leftmenufooter div.collapse a.external {
color: #0645AD !important;
}
html div.sidebar div.leftmenufooter div.collapse a.external:visited {
color: #0B0080 !important;
}
html div.footer {
footer.jspwiki-footer {
At line 64 changed one line
html div.footer a {
footer.jspwiki-footer a {
At line 68 changed one line
html .tab-pane {
.tab-pane {
At line 72 changed 4 lines
html .cat-border {
border: 1px solid #ccc !important;
padding: 5px !important;
margin-top: 20px !important;
.cat-border {
border: 1px solid #ccc;
padding: 5px;
margin-top: 20px;
At line 77 changed one line
font-size: smaller !important;
font-size: smaller;
At line 80 changed 2 lines
html .pagename {
font-size: 2em !important;
.pagename {
font-size: 2em;
At line 85 removed one line
%%