Merge pull request #46 from dbkinder/gsg-styles

doc: GSG formating fix, RTD theme tweak
This commit is contained in:
David Kinder 2018-05-04 09:51:24 -07:00 committed by GitHub
commit 0b7412df32
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
4 changed files with 34 additions and 15 deletions

View File

@ -21,6 +21,14 @@ PUBLISHDIR = ../projectacrn.github.io/$(RELEASE)
# Put it first so that "make" without argument is like "make help". # Put it first so that "make" without argument is like "make help".
help: help:
@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) @$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
@echo ""
@echo "make pullsource"
@echo " fetch and merge upstream source for the project ACRN code repos"
@echo ""
@echo "make publish"
@echo " publish generated html to projectacrn.github.io site:"
@echo " specify RELEASE=name to publish as a tagged release version"
@echo " and placed in a version subfolder"
.PHONY: help Makefile .PHONY: help Makefile

View File

@ -142,9 +142,10 @@ partition. Follow these steps:
.. note:: .. note::
Be aware that a Clearlinux update that includes a kernel upgrade will Be aware that a Clearlinux update that includes a kernel upgrade will
reset this. A Clearlinux update could happen automatically (if you have reset the boot option changes you just made.. A Clearlinux update could
happen automatically (if you have
not disabled it as described above), if you later install a new not disabled it as described above), if you later install a new
bundle to your system or simply if you decide to trigger an update bundle to your system, or simply if you decide to trigger an update
manually. Whenever that happens, double-check the platform boot order manually. Whenever that happens, double-check the platform boot order
using ``efibootmgr -v`` and modify it if needed. using ``efibootmgr -v`` and modify it if needed.
@ -196,6 +197,7 @@ partition. Follow these steps:
.. figure:: images/gsg-bootmenu.png .. figure:: images/gsg-bootmenu.png
:align: center :align: center
:width: 650px
:name: gsg-bootmenu :name: gsg-bootmenu
ACRN Service OS Boot menu ACRN Service OS Boot menu

View File

@ -5,6 +5,6 @@
<meta name="keywords" content="automatic redirection"> <meta name="keywords" content="automatic redirection">
</head> </head>
<body> <body>
Please visit the <a href="/latest/">latest ARCN documentation</a> Please visit the <a href="/latest/">latest ACRN documentation</a>
</body> </body>
</html> </html>

View File

@ -14,12 +14,12 @@
} }
*/ */
/* tweak doc version selection */ /* tweak doc version selection
.rst-versions { .rst-versions {
position: static; position: static;
border-top: none; border-top: none;
padding: 0px; padding: 0px;
} } */
.rst-versions .rst-current-version { .rst-versions .rst-current-version {
padding: 5px; padding: 5px;
@ -35,6 +35,15 @@ div.rst-other-versions dl {
margin-bottom: 0; margin-bottom: 0;
} }
/* code block highlight color in rtd changed to lime green, no no no */
.rst-content tt.literal, .rst-content code.literal, .highlight {
background: #f0f0f0;
}
.rst-content tt.literal, .rst-content code.literal {
color: #000000;
}
/* Make the version number more visible */ /* Make the version number more visible */
.wy-side-nav-search>div.version { .wy-side-nav-search>div.version {
color: rgba(255,255,255,1); color: rgba(255,255,255,1);