[hmath-commits] org.hmath.server/WEB-INF/src/theme/hmath/css debug.css,NONE,1.1 wiki.css,NONE,1.1 ge
Status: Pre-Alpha
Brought to you by:
jsurfer
Update of /cvsroot/hmath/org.hmath.server/WEB-INF/src/theme/hmath/css In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv21210/WEB-INF/src/theme/hmath/css Added Files: debug.css wiki.css general.css page.css admin.css snip.css Log Message: initial version --- NEW FILE: debug.css --- /** * Debug Stylesheet definitions. * @author Matthias L. Jugel * @version $Id: debug.css,v 1.2 2002/11/05 16:29:57 leo Exp $ */ .debug { color: inherit; background-color: #ffff99; } .debug-title { text-align: center; } .debug-entry { font-family: courier, courier new, monospaced; font-size: 100%; } --- NEW FILE: wiki.css --- /** * Wiki text stylesheet definitions. * @author Matthias L. Jugel * @version $Id: wiki.css,v 1.13 2003/10/09 07:58:24 leo Exp $ */ .bold { font-weight: bold; } .italic { font-style: italic; } /************************************************/ /* image positioning */ img { padding-top: 2px; padding-bottom: 1px; padding-left: 1px; padding-right: 1px; } img.left { display: block; left: 0px; } img.right { display: block; right: 0px; } img.center { text-align: center; } img.float-left { float: left; margin-top: 3px; margin-right: 3px; margin-bottom: 3px; } img.float-right { float: right; margin-top: 3px; margin-left: 3px; margin-bottom: 3px; } .heading-1 { color: #003366; background-color: inherit; font-weight: bold; font-size: 14px; font-variant: small-caps; } .heading-1-1 { color: #003366; background-color: inherit; font-size: 13px; font-variant: small-caps; } .quote { font-style: italic; color: inherit; background-color: inherit; font-family: inherit; font-size: inherit; } /************************************************/ /* code formatting */ .code { margin-top: 4px; margin-bottom: 4px; padding: 5px 5px 5px 5px; color: inherit; background-color: #eeeeee; border: 1px dotted #003366; font-family: courier, courier new, monospace; font-size: 12px; line-height: 100%; white-space: pre; width: 98%; overflow: auto; overflow: scroll -moz-scrollbars-horizontal; overflow-x: auto; } .java-keyword { font-weight: bold; color: #0000aa; background-color: inherit; } .java-object { color: #000088; background-color: inherit; } .java-quote { color: #00aa00; background-color: inherit; } .xml-keyword { font-weight: bold; } .xml-tag { color: #0000aa; background-color: inherit; } .xml-quote { color: #00aa00; background-color: inherit; } /* weblog formatting */ .blog-date { font-family: georgia, new roman, times, serif; font-size: 16px; color: #000000; text-transform: none; border-bottom: 1px solid #003366; margin-bottom: 10px; } /* special formatting of a wiki table */ .wiki-table { empty-cells: show; width: 100%; max-width: 100%; } .wiki-table td { border-top: 1px solid #003366; padding: 4px 4px 4px 4px; } .wiki-table th { border-top: 1px solid #003366; text-align: left; color: inherit; font-weight: bold; /* background-color: #DDEEFF; */ color: #fff; background-color: #001133; } .wiki-table .table-odd { } .wiki-table .table-even { } /************************************************/ /* list formatting */ .list { } .list-title { font-weight: bold; } .list ul { margin-top: 0px; margin-bottom: 0px; margin-left: 0px; padding-left: 0px; list-style-type: none; } /* wiki lists */ ul.minus { list-style-type: square; } ul.star { list-style-type: circle; } ol.roman { list-style-type: lower-roman; } ol.ROMAN { list-style-type: upper-roman; } ol.alpha { list-style-type: lower-alpha; } ol.ALPHA { list-style-type: upper-alpha; } ol.greek { list-style-type: lower-greek; } ol.GREEK { list-style-type: upper-greek; } ol.hiragana { list-style-type: hiragana; } ol.HIRAGANA { list-style-type: hiragana-iroha; } ol.katakana { list-style-type: katakana; } ol.KATAKANA { list-style-type: katakana-iroha; } ol.HEBREW { list-style-type: hebrew; } /************************************************/ /* index formatting */ .index-top { border-top: 1px solid #003366; margin-bottom: 5px; } .index-top th { padding: 1px 1px 1px 1px; text-align: left; font-weight: bold; } .index { } .index td { padding: 1px 1px 1px 1px; } .index th { margin-top: 5px; padding: 1px 1px 1px 1px; text-align: left; font-weight: bold; border-top: 1px solid #003366; border-bottom: 1px solid #003366; } /************************************************/ /* calendar display */ .calendar { border-spacing: 0px; } .calendar th { font-size: 0.8em; } .calendar td { text-align: right; } .calendar caption { text-align: left; font-weight: bold; } .calendar .today { border: 3px solid #aaaaaa; } --- NEW FILE: general.css --- /** * General Stylesheet definitions. * @author Matthias L. Jugel * @version $Id: SnipSnap-Theme-blue.snip,v 1.1 2003/12/21 23:31:25 leo Exp $ */ /* error messages and error positions should be marked red */ .error { color: #ff0000; font-weight: bold; background-color: inherit;} .error-position { background-color: #ffaaaa; color: inherit;} /* inactive buttons are greyed out */ .inactive { color: #aaaaaa; background-color: inherit;} /************************************************/ /* ANCHOR tag */ a { color: #003366; font-family: verdana, arial, sans-serif; font-size:10px; text-decoration: none; font-weight:bold; } a:link { color: #003366; text-decoration: none; } a:visited { color: #003366; text-decoration: none; } a:active { color: #FFCC66; } a:hover { color: #FFCC66; } caption { color: #003366; font-family: verdana, arial, sans-serif; font-size:10px; text-decoration: none; font-weight:bold; } /************************************************/ /* table tag */ table { empty-cells: show; } /************************************************/ /* input tag */ input[type=submit] { margin-top: 2px; } input, select, textarea { font-size: inherit; font-family: courier, courier new, monospaced; } textarea { width: 100%; overflow: auto; wrap: virtual; } --- NEW FILE: page.css --- /** * General Stylesheet definitions. * @author Matthias L. Jugel * @version $Id: SnipSnap-Theme-blue.snip,v 1.1 2003/12/21 23:31:25 leo Exp $ */ body { font-family: verdana, arial, sans-serif; color: #666; font-size:11px; font-weight:normal; line-height:15px; margin: 20px 20px 20px 20px; background: #FFF; } #page-logo { font-family: georgia, times new roman, times, serif; color:#FFF; font-size: 24px; font-weight: normal; border-left:1px solid #FFF; border-right:1px solid #FFF; border-top:1px solid #FFF; background:#003366; padding-top: 15px; padding-left: 15px; padding-right: 15px; } #page-logo * { font-family: georgia, times new roman, times, serif; font-size: 24px; font-weight:normal; color: #ffffff; } #page-title { font-family:verdana, arial, sans-serif; font-size: 10px; } #page-tagline { font-family:verdana, arial, sans-serif; color:#FFF; font-size:16px; font-weight:bold; border-left:1px solid #FFF; border-right:1px solid #FFF; background:#003366; padding-left: 15px; padding-right: 15px; padding-top: 5px; padding-bottom: 15px; } #page-buttons { padding:15px; background:#FFF; text-align:center; font-size:small; font-weight:normal; line-height:140%; } #page-buttons a, #page-buttons a:link, #page-buttons a:visited, #page-buttons a:active, #page-buttons a:hover { font-size:small; font-weight: normal; text-decoration: underline; } #page-wrapper { position: relative; margin: 0px; padding: 0px; background: #FFF; /*border: 1px solid red;*/ } #page-content { float: left; width: 67%; padding-left: 15px; padding-right: 15px; background: #FFF; /*border: 1px solid brown;*/ } #page-portlet-1 { float: left; width: 22%; margin: 0px; padding-left: 5px; /* IE (Windows,MAC) do not display the line down to the bottom */ border-right: 1px solid #003366; background-color: #FFF; } #page-portlet-2 { display: none; /* hide */ } #page-bottom { clear: left; padding-top: 15px; padding-bottom: 15px; margin: 0px; margin-top: -11px; width: 100%; background:#FFF; text-align: center; /*border: 1px solid green;*/ } /* Remove the comments around the section below to move the menu to the left side */ /* START OF LEFT SIDE MENU #page-wrapper { display: block; } #page-content { display: block; position: relative; padding-left: 29%; padding-right: 15px; height: 100%; } #page-portlet-1 { display: block; position: absolute; left: 0px; top: 0px; border-left: 0px; /*border-right: 1px solid #003366;*/ } END OF LEFT SIDE MENU */ --- NEW FILE: admin.css --- /** * Debug Stylesheet definitions. * @author Matthias L. Jugel * @version $Id: admin.css,v 1.2 2002/11/05 16:29:57 leo Exp $ */ .admin { color: inherit; background-color: #eeeeee; padding-top: 10px; padding-left: 6px; padding-right: 6px; padding-bottom: 6px; } .admin-menu { font-size: 120%; width: 100%; border-bottom: 3px solid #aaaaaa; margin-top: 10px; } .menu-items { display: table-row; } .menu-active { display: table-cell; font-weight: bold; color: inherit; background-color: #eeeeee; border-left: 1px solid #aaaaaa; padding: 5px; } .menu-inactive { display: table-cell; background-color: #ffffff; border-left: 1px solid #aaaaaa; padding: 5px; } .admin th { font-size: 120%; } --- NEW FILE: snip.css --- /** * Snip block display stylesheet definitions. * @author Matthias L. Jugel * @version $Id: SnipSnap-Theme-blue.snip,v 1.1 2003/12/21 23:31:25 leo Exp $ */ .snip-wrapper { } .snip-path { font-height: 10px; } .snip-title { display: table; width: 100%; text-align: left; padding: 0px; } .snip-name { width: 100%; font-family: georgia, times new roman, times, serif; font-size: 15px; color: #000000; text-transform: none; border-bottom: 1px solid #003366; } .snip-commented-snip { font-size: 10px; } .snip-buttons { width: 49%; float: right; font-family: verdana, arial, sans-serif; font-weight:normal; text-align: right; } .snip-info { width: 49%; float: left; font-family: verdana, arial, sans-serif; font-size:10px; font-weight:normal; } .snip-content { clear: left; border: 0; display: block; font-family: verdana, arial, sans-serif; color:#666; font-size:small; font-weight:normal; background:#FFF; line-height:140%; } .snip-content a, .snip-content a:link, .snip-content a:visited, .snip-content a:active, .snip-content a:hover { font-size:small; font-weight: normal; text-decoration: underline; } /* Wrapper for Snip Meta-Information */ .snip-meta { float: right; min-width: 15%; } .snip-label { padding: 3px; background:#ffc; border:1px solid #cc6; font-size: 10px; line-height: 10px; font-weight: bold; margin-bottom: 2px; } .snip-label a, .snip-label a:link, .snip-label a:visited, .snip-label a:active, .snip-label a:hover { font-size:10px; font-weight: bold; } .snip-attachments { padding: 3px; background:#ffc; border:1px solid #cc6; font-size: 10px; line-height: 10px; font-weight: bold; margin-bottom: 2px; } .snip-attachments a, .snip-attachments a:link, .snip-attachments a:visited, .snip-attachments a:active, .snip-attachments a:hover { font-size:10px; font-weight: bold; } .snip-post-comments { margin-top: 20px; margin-bottom: 20px; } .snip-sniplinks { margin-top: 20px; font-size:20px; } .snip-sniplinks table { table-layout: fixed; } .snip-sniplinks caption { text-align: left; color: #999999; background-color: inherit; } .snip-sniplinks td, th { padding: 4px; } .snip-backlinks { margin-top: 20px; } .snip-backlinks .list { list-style-type: none; margin-top: 0; padding-left: 0; margin-left: 0; } .snip-backlinks .caption { text-align: left; color: #999999; background-color: inherit; } span.content { } span.count { margin-right: 4px; } span.count:before { content: ""; } span.count:after { content: ": "; } /**************************************************/ /* snip edit part */ .snip-input { margin-top: 20px; font-size:16px; font-weight:normal; } .snip-input img { width: 20px; } .form { } .form .form-buttons { text-align: right; } .form input[type=submit] { vertical-align: text-bottom; } /**************************************************/ /* snip with comments part */ .snip-comments { } .comment-title { margin-top: 20px; font-weight: normal !important; font-size: 100% !important; } h2.comment-name { display: inline; font-weight: normal; font-size: 110%; } h2.comment-name a { display: inline; font-weight: normal; font-size: 110%; } .comment-buttons { display: inline; } .comment-content { margin-top: 5px; margin-left: 20px; } .comment-input { margin-top: 20px; } /**************************************************/ /* preview formatting */ .preview { background-color: #eeeeee; color: inherit; } .attachments { float: right; position: absolute; top: 0px; right: 0px; border: 1px solid black; width: 15%; } .diff { } .diff-delete { background-color: #ffcece; } .diff-insert { background-color: #ceffce; } .diff-change { background-color: #ffffa5; } .diff-move { background-color: #ffffa5; } |