blob: 837d62cebe8959b29c02754a3c972e79accc57ed (
plain)
1
@media only all and (prefers-color-scheme: dark) {
.highlight .hll { background-color: #49483e }
.highlight .c { color: #75715e } /* Comment */
.highlight .err { color: #960050; background-color: #1e0010 } /* Error */
.highlight .k { color: #66d9ef } /* Keyword */
.highlight .l { color: #ae81ff } /* Literal */
.highlight .n { color: #f8f8f2 } /* Name */
.highlight .o { color: #f92Copyright 2018 AT&T Intellectual Property. All rights reserved.
This file is licensed under the CREATIVE COMMONS ATTRIBUTION 4.0 INTERNATIONAL LICENSE
Full license text at https://creativecommons.org/licenses/by/4.0/legalcode
This directory is to build & setup policy by vagrant. It is verified to work in
Ubuntu 16.04 64bit.
To setup vagrant, run the followings:
#sudo apt-get install -y virtualbox
#wget --no-check-certificate https://releases.hashicorp.com/vagrant/1.8.6/vagrant_1.8.6_x86_64.deb
#sudo dpkg -i vagrant_1.8.6_x86_64.deb
#vagrant up
|