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 2 lines
/* Encyclopaedia-inspired theme for Haddock template */
body div.page-content {
%%add-css
html {
/* Encyclopaedia-inspired theme for Haddock template */
At line 7 changed one line
h1, h2, h3, h4, h5, h6 {
html h1, html h2, html h3, html h4, html h5, html h6 {
At line 11 changed one line
a:not(.logo):not(.btn) {
html a:not(.logo):not(.btn) {
At line 14 changed one line
a:not(.logo):not(.btn):visited {
html a:not(.logo):not(.btn):visited {
At line 18 changed 2 lines
div.header {
background: #666666 !important; /* Lighter gray header */
html div.header {
background: #666666 !important; /* Medium gray header */
At line 22 changed one line
div.header .titlebox {
html div.header .titlebox {
At line 25 changed one line
div.header .titlebox .title-text {
html div.header .titlebox .title-text {
At line 30 changed one line
div.header .titlebox .small, div.header .titlebox .small a {
html div.header .titlebox .small, html div.header .titlebox .small a {
At line 33 changed one line
div.header .topline, div.header .navigation {
html div.header .topline, html div.header .navigation {
At line 37 changed 2 lines
div.sidebar div.leftmenu div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar */
html div.sidebar div.leftmenu div.collapse {
background: #E8E8E8 !important; /* Light gray sidebar (LeftMenu) */
At line 41 changed one line
div.sidebar div.leftmenu div.collapse a.wikipage {
html div.sidebar div.leftmenu div.collapse a.wikipage {
At line 44 changed one line
div.sidebar div.leftmenu div.collapse a.wikipage:visited {
html div.sidebar div.leftmenu div.collapse a.wikipage:visited {
At line 48 changed one line
footer.jspwiki-footer {
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 {
At line 52 changed one line
footer.jspwiki-footer a {
html div.footer a {
At line 56 changed one line
.tab-pane {
html .tab-pane {
At line 60 changed 4 lines
.cat-border {
border: 1px solid #ccc;
padding: 5px;
margin-top: 20px;
html .cat-border {
border: 1px solid #ccc !important;
padding: 5px !important;
margin-top: 20px !important;
At line 65 changed one line
font-size: smaller;
font-size: smaller !important;
At line 68 changed 2 lines
.pagename {
font-size: 2em;
html .pagename {
font-size: 2em !important;
At line 85 added one line
%%