]> SALOME platform Git repositories - modules/gui.git/commitdiff
Salome HOME
Porting documentation on the Doxygen-1.8.0 V6_5_0a1
authorrnv <rnv@opencascade.com>
Thu, 12 Apr 2012 07:01:52 +0000 (07:01 +0000)
committerrnv <rnv@opencascade.com>
Thu, 12 Apr 2012 07:01:52 +0000 (07:01 +0000)
doc/salome/gui/static/doxygen.css
doc/salome/gui/static/header.html.in
doc/salome/tui/static/doxygen.css
doc/salome/tui/static/header.html.in

index 9d051a4bef099d216f57e25bab42e9339e05ff41..7a2dcbde8e1abe74a42ba5554635bdfa6473a572 100644 (file)
@@ -732,6 +732,12 @@ div.headertitle
        padding: 5px 5px 5px 10px;
 }
 
+.title {
+        font-size: 150%;
+        font-weight: bold;
+        margin: 10px 2px;
+}
+
 dl
 {
         padding: 0 0 0 10px;
index 0ccb5726a060d9e48607d57a307d039294455c75..4571b4363cc48f96e171710a7d16e3659c419d88 100755 (executable)
@@ -2,14 +2,12 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
 <head>
 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <title>$title</title>
 <link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
-<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$search/search.js"></script>
-<link href="$relpath$navtree.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$jquery.js"></script>
-<script type="text/javascript" src="$relpath$navtree.js"></script>
-<script type="text/javascript" src="$relpath$resize.js"></script>
+$treeview
+$search
+$mathjax
 <script type="text/javascript">
 $(document).ready(initResizable);
 </script>
@@ -18,4 +16,5 @@ $(document).ready(initResizable);
 <body onload='searchBox.OnSelectItem(0);'>
 <div id="top"><!-- do not remove this div! -->
 <div id="titlearea"><div align="right"><div class="version">Version: @VERSION@</div></div></div>
+
 </div>
index 9d051a4bef099d216f57e25bab42e9339e05ff41..7a2dcbde8e1abe74a42ba5554635bdfa6473a572 100755 (executable)
@@ -732,6 +732,12 @@ div.headertitle
        padding: 5px 5px 5px 10px;
 }
 
+.title {
+        font-size: 150%;
+        font-weight: bold;
+        margin: 10px 2px;
+}
+
 dl
 {
         padding: 0 0 0 10px;
index 9792445cb6fbca96c514b1429fbfd16fddf15226..4571b4363cc48f96e171710a7d16e3659c419d88 100755 (executable)
@@ -2,14 +2,12 @@
 <html xmlns="http://www.w3.org/1999/xhtml">
 <head>
 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
 <title>$title</title>
 <link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
-<link href="$relpath$search/search.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$search/search.js"></script>
-<link href="$relpath$navtree.css" rel="stylesheet" type="text/css"/>
-<script type="text/javascript" src="$relpath$jquery.js"></script>
-<script type="text/javascript" src="$relpath$navtree.js"></script>
-<script type="text/javascript" src="$relpath$resize.js"></script>
+$treeview
+$search
+$mathjax
 <script type="text/javascript">
 $(document).ready(initResizable);
 </script>